The Correctness of Type Specialisation
No abstract available.
Related papers
- Featherweight generic confinement JFP 2006
- Type Specialization for Imperative Languages ICFP 1997
- Call-pattern specialisation for haskell programs ICFP 2007
- Generic go to go: dictionary-passing, monomorphisation, and hybrid OOPSLA 2022
- Iterative Specialisation of Horn Clauses ESOP 2008
- Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation ICFP 2010
- Compiling Standard ML to Java Bytecodes ICFP 1998
- Module-Sensitive Program Specialisation PLDI 1997