Pages that link to "Item:Q2949208"
From MaRDI portal
The following pages link to Tagless staged interpreters for typed languages (Q2949208):
Displayed 8 items.
- Statically safe program generation with SafeGen (Q532402) (← links)
- Type-specialized staged programming with process separation (Q1929349) (← links)
- Self-quotation in a typed, intensional lambda-calculus (Q2130593) (← links)
- Implicitly heterogeneous multi-stage programming (Q2478589) (← links)
- Lightweight Static Capabilities (Q2866337) (← links)
- Meta-programming With Built-in Type Equality (Q2871838) (← links)
- A Reflection on Types (Q3188294) (← links)
- Normalization by evaluation for modal dependent type theory (Q6065506) (← links)