MetaOCaml
From MaRDI portal
Software:21220
swMATH9230MaRDI QIDQ21220FDOQ21220
Author name not available (Why is that?)
Cited In (9)
- 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: Syntax and Semantics
- Incorporating quotation and evaluation into Church's type theory
- Behavioural equivalences for dynamic web data
- 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
