Back to Basics: Deriving Representation Changers Functionally
No abstract available.
Related papers
- Combinatory Representation of Mobile Processes POPL 1994
- A Type-Based Compiler for Standard ML PLDI 1995
- Automatic Derivation of Code Generators from Machine Descriptions TOPLAS 1980
- Automatic derivation of compiler machine descriptions TOPLAS 2002
- Compiling embedded languages JFP 2003
- Deriving Target Code as a Representation of Continuation Semantics TOPLAS 1982
- AutoPandas: neural-backed generators for program synthesis OOPSLA 2019
- What you needa know about Yoneda: profunctor optics and the Yoneda lemma (functional pearl) ICFP 2018