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