Pages that link to "Item:Q2949207"
From MaRDI portal
The following pages link to Meta-programming with names and necessity (Q2949207):
Displaying 7 items.
- Directly reflective meta-programming (Q848742) (← links)
- On the dynamic extent of delimited continuations (Q1044694) (← links)
- Type-specialized staged programming with process separation (Q1929349) (← links)
- Programming Languages For Interactive Computing (Q2864508) (← links)
- Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages (Q3644934) (← links)
- Mtac: A monad for typed tactic programming in Coq (Q5371944) (← links)
- Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism (Q5437034) (← links)