Pages that link to "Item:Q5437034"
From MaRDI portal
The following pages link to Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism (Q5437034):
Displayed 3 items.
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← links)
- Syntax for Free: Representing Syntax with Binding Using Parametricity (Q3637185) (← links)
- Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages (Q3644934) (← links)