Pages that link to "Item:Q848742"
From MaRDI portal
The following pages link to Directly reflective meta-programming (Q848742):
Displaying 5 items.
- Incorporating quotation and evaluation into Church's type theory (Q1753993) (← links)
- A functional approach to generic programming using adaptive traversals (Q1929347) (← links)
- Incorporating Quotation and Evaluation into Church’s Type Theory: Syntax and Semantics (Q2817296) (← links)
- (Q5013873) (← links)
- Programming in the λ-Calculus: From Church to Scott and Back (Q5410454) (← links)
