𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[ACM Press the 7th International Conference - Calgary, Alberta, Canada (2009.08.27-2009.08.28)] Proceedings of the 7th International Conference on Principles and Practice of Programming in Java - PPPJ '09 - Actor frameworks for the JVM platform

✍ Scribed by Karmani, Rajesh K.; Shali, Amin; Agha, Gul

Book ID
126022003
Publisher
ACM Press
Year
2009
Weight
901 KB
Category
Article
ISBN
160558598X

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