A 3-Part Type Inference Engine
Abstract elided by the publisher.
Related papers
- The MAGICA Type Inference Engine for MATLAB CC 2003
- Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction POPL 2015
- Boxy types: inference for higher-rank types and impredicativity ICFP 2006
- Practical type inference for arbitrary-rank types JFP 2007
- An extension of HM(X) with bounded existential and universal data-types ICFP 2003
- Grammatical Inference in Software Engineering: An Overview of the State of the Art SLE 2012
- Data-driven inference of representation invariants PLDI 2020
- Diagnosing type errors with class PLDI 2015