MetaOCaml
From MaRDI portal
Cited in
(22)- SafeDpi
- Incorporating quotation and evaluation into Church's type theory
- Type-specialized staged programming with process separation
- XPi
- Flask
- VCODE
- XDuce
- Behavioural equivalences for dynamic web data
- Implicitly heterogeneous multi-stage programming
- MetaOCaml server pages: web publishing as staged computation
- Incorporating quotation and evaluation into Church's type theory: syntax and semantics
- Camlp4
- TAG
- Strymonas
- LinqOptimizer
- ScalaBlitz
- reFLect
- HOL Light QE
- MiniML
- On Cross-Stage Persistence in Multi-Stage Programming
- Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code
- Stream fusion, to completeness
This page was built for software: MetaOCaml
