Principal type inference for GADTs

Full Text:

Authors:	Sheng Chen	University of Louisiana at Lafayette, USA
	Martin Erwig	Oregon State University, USA

Published in:

	· Proceeding
	POPL '16 Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
	Pages 416-428 St. Petersburg, FL, USA — January 20 - 22, 2016 ACM New York, NY, USA ©2016 table of contents ISBN: 978-1-4503-3549-2 doi>10.1145/2837614.2837665
	· Newsletter
	ACM SIGPLAN Notices - POPL '16
	Volume 51 Issue 1, January 2016 Pages 416-428 ACM New York, NY, USA table of contents doi>10.1145/2914770.2837665

	2016 Article Public Access
Bibliometrics
· Citation Count: 2 · Downloads (cumulative): 289 · Downloads (12 Months): 86 · Downloads (6 Weeks): 10

Tools and Resources