๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[ACM Press the eleventh ACM SIGPLAN international conference - Portland, Oregon, USA (2006.09.16-2006.09.21)] Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming - ICFP '06 - Simple unification-based type inference for GADTs

โœ Scribed by Peyton Jones, Simon; Vytiniotis, Dimitrios; Weirich, Stephanie; Washburn, Geoffrey

Book ID
121213424
Publisher
ACM Press
Year
2006
Tongue
English
Weight
241 KB
Category
Article
ISBN-13
9781595933096

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

[ACM Press the 14th ACM SIGPLAN internat
[ACM Press the 14th ACM SIGPLAN international conference - Edinburgh, Scotland (2009.08.31-2009.09.02)] Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 - Complete and decidable type inference for GADTs
โœ Schrijvers, Tom; Peyton Jones, Simon; Sulzmann, Martin; Vytiniotis, Dimitrios ๐Ÿ“‚ Article ๐Ÿ“… 2009 ๐Ÿ› ACM Press โš– 478 KB

GADTs have proven to be an invaluable language extension, for ensuring data invariants and program correctness among others. Unfortunately, they pose a tough problem for type inference: we lose the principal-type property, which is necessary for modular type inference. We present a novel and simpli