𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[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

✍ Scribed by Schrijvers, Tom; Peyton Jones, Simon; Sulzmann, Martin; Vytiniotis, Dimitrios

Book ID
121213425
Publisher
ACM Press
Year
2009
Weight
478 KB
Category
Article
ISBN
1605583324

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