Towards an ML-Style Polymorphic Type System for C
No abstract available.
Related papers
- Second-Order Unification and Type Inference for Church-Style Polymorphism POPL 1998
- Dynamic Typing in Polymorphic Languages JFP 1995
- A Compilation Method for ML-Style Polymorphic Record Calculi POPL 1992
- Polymorphism, subtyping, and type inference in MLsub POPL 2017
- A Types-as-Sets Semantics for Milner-Style Polymorphism POPL 1984
- Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML ICFP 1999
- Polymorphic Type Inference and Assignment POPL 1991
- Type Reconstruction with First-Class Polymorphic Values PLDI 1989