A Certified Implementation of ML with Structural Polymorphism
No abstract available.
Related papers
- Certifying CPS Transformation of Let-Polymorphic Calculus Using PHOAS APLAS 2018
- Intensional analysis of quantified types TOPLAS 2003
- Fully reflexive intensional type analysis ICFP 2000
- Certified Compilers à la Carte PLDI 2025
- Certifying Certainty and Uncertainty in Approximate Membership Query Structures CAV 2020
- Certifying derivation of state machines from coroutines POPL 2022
- Certifying graph-manipulating C programs via localizations within data structures OOPSLA 2019
- Certified assembly programming with embedded code pointers POPL 2006