swMATH9230MaRDI QIDQ21220FDOQ21220
Author name not available (Why is that?)
Official website: http://www.cs.rice.edu/~taha/MetaOCaml/
Cited In (21)
- 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
- Implicitly heterogeneous multi-stage programming
- Type-specialized staged programming with process separation
- Flask
- XPi
- VCODE
- XDuce
- Camlp4
- TAG
- LinqOptimizer
- ScalaBlitz
- Strymonas
- reFLect
- HOL Light QE
- MiniML
- MetaOCaml server pages: web publishing as staged computation
- On Cross-Stage Persistence in Multi-Stage Programming
This page was built for software: MetaOCaml
