Parametric higher-order abstract syntax for mechanized semantics
No abstract available.
Related papers
- Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism JFP 2008
- Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism ICFP 2003
- Towards a Higher-Order Bialgebraic Denotational Semantics ICFP 2026
- Extended Natural Semantics JFP 1993
- A fully adequate shallow embedding of the [pi]-calculus in Isabelle/HOL with mechanized syntax analysis JFP 2003
- Type Classes with Existential Types JFP 1996
- Programming Type-Safe Transformations Using Higher-Order Abstract Syntax CPP 2013
- Higher order messaging DLS 2005