Pages that link to "Item:Q848742"

The following pages link to Directly reflective meta-programming (Q848742):

Displaying 3 items.

• Incorporating quotation and evaluation into Church's type theory (Q1753993) (← links)
• A functional approach to generic programming using adaptive traversals (Q1929347) (← links)
• Programming in the λ-Calculus: From Church to Scott and Back (Q5410454) (← links)