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):
Displaying 5 items.
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← links)
- Programs Using Syntax with First-Class Binders (Q2988654) (← 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)
- (Q4232469) (← links)