Supplemental Material
Index Terms
Robin Milner 1934--2010: verification, languages, and concurrency
Recommendations
Robin Milner 1934--2010: verification, languages, and concurrency
POPL '11: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languagesExtending hindley-milner type inference with coercive structural subtyping
APLAS'11: Proceedings of the 9th Asian conference on Programming Languages and SystemsWe investigate how to add coercive structural subtyping to a type system for simply-typed lambda calculus with Hindley-Milner polymorphism. Coercions allow to convert between different types, and their automatic insertion can greatly increase ...
Dynamic type inference for gradual Hindley–Milner typing
Garcia and Cimini study a type inference problem for the ITGL, an implicitly and gradually typed language with let-polymorphism, and develop a sound and complete inference algorithm for it. Soundness and completeness mean that, if the algorithm succeeds,...







Comments