Removing Value Encoding Using Alternative Values in Partial Evaluation of Strongly-Typed Languages
No abstract available.
Related papers
- Strongly Typed Flow-Directed Representation Transformations ICFP 1997
- Jones-optimal partial evaluation by specialization-safe normalization POPL 2018
- Generalized algebraic data types and object-oriented programming OOPSLA 2005
- Encoding Types in ML-Like Languages ICFP 1998
- Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages JFP 2009
- Containerless Plurals: Separating Number from Type in Object-Oriented Programming TOPLAS 2022
- From ML to Ada: Strongly-Typed Language Interoperability via Source Translation JFP 1998
- Generating a Compiler for a Lazy Language by Partial Evaluation POPL 1992