First-Class Structures for Standard ML
No abstract available.
Related papers
- 1ML - core and modules united (F-ing first-class modules) ICFP 2015
- Typing First-Class Continuations in ML POPL 1991
- 1ML - Core and modules united JFP 2018
- Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications TOPLAS 1998
- Parsing with first-class derivatives OOPSLA 2016
- Instrumentation of standard libraries in object-oriented languages: the twin class hierarchy approach OOPSLA 2004
- Formalizing Implementation Strategies for First-Class Continuations ESOP 2000
- Optimising First-Class Pattern Matching SLE 2022