BinSub: The Simple Essence of Polymorphic Type Inference for Machine Code
No abstract available.
Related papers
- The Simple Essence of Monomorphization OOPSLA 2025
- The Simple Essence of Overloading: Making Ad-Hoc Polymorphism More Algebraic with Flow-Based Variational Type-Checking OOPSLA 2025
- The simple essence of algebraic subtyping: principal type inference with subtyping made easy (functional pearl) ICFP 2020
- Polymorphic type inference for machine code PLDI 2016
- Simple Type Inference for Structural Polymorphism APLAS 2001
- The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism ECOOP 1995
- HMF: simple type inference for first-class polymorphism ICFP 2008
- Fast and precise hybrid type inference for JavaScript PLDI 2012