The following pages link to MetaOCaml (Q21220):
Displaying 9 items.
- Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code (Q532398) (← links)
- Incorporating quotation and evaluation into Church's type theory (Q1753993) (← links)
- Type-specialized staged programming with process separation (Q1929349) (← links)
- Behavioural equivalences for dynamic web data (Q2474049) (← links)
- Implicitly heterogeneous multi-stage programming (Q2478589) (← links)
- MetaOCaml server pages: web publishing as staged computation (Q2507776) (← links)
- Incorporating Quotation and Evaluation into Church’s Type Theory: Syntax and Semantics (Q2817296) (← links)
- On Cross-Stage Persistence in Multi-Stage Programming (Q5170704) (← links)
- Stream fusion, to completeness (Q5370864) (← links)