Abstraction of Syntax
Abstract elided by the publisher.
Related papers
- Parametric higher-order abstract syntax for mechanized semantics ICFP 2008
- Generating Rewritable Abstract Syntax Trees SLE 2008
- Programming Type-Safe Transformations Using Higher-Order Abstract Syntax CPP 2013
- PAGODE: A Back End Generator Using Attribute Abstract Syntaxes and Term Rewritings CC 1990
- Normalization by evaluation with typed abstract syntax JFP 2001
- Grammatical Abstraction and Incremental Syntax Analysis in a Language-Based Editor PLDI 1988
- Higher-Order Abstract Syntax PLDI 1988
- Focusing and higher-order abstract syntax POPL 2008