MetaOCaml is a multi-stage extension of the OCaml programming language, and provides three basic constructs called Brackets, Escape, and Run for building, combining, and executing future-stage computations, respectively. (Please read README-META file in distribution for MetaOCaml’s syntax for these constructs). MetaOCaml is a compiled dialect of MetaML.
Keywords for this software
References in zbMATH (referenced in 10 articles )
Showing results 1 to 10 of 10.
- Farmer, William M.: Incorporating quotation and evaluation into Church’s type theory (2018)
- Kiselyov, Oleg; Biboudis, Aggelos; Palladinos, Nick; Smaragdakis, Yannis: Stream fusion, to completeness (2017)
- Farmer, William M.: Incorporating quotation and evaluation into Church’s type theory: syntax and semantics (2016)
- Hanada, Yuichiro; Igarashi, Atsushi: On cross-stage persistence in multi-stage programming (2014)
- Kiselyov, Oleg: The design and implementation of BER metaocaml. System description (2014) ioport
- Carette, Jacques; Kiselyov, Oleg: Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code (2011)
- Liu, Yu David; Skalka, Christian; Smith, Scott F.: Type-specialized staged programming with process separation (2011)
- Maffeis, Sergio; Gardner, Philippa: Behavioural equivalences for dynamic web data (2008)
- Eckhardt, Jason; Kaiabachev, Roumen; Pasalic, Emir; Swadi, Kedar; Taha, Walid: Implicitly heterogeneous multi-stage programming (2007)
- League, Christopher: MetaOCaml server pages: web publishing as staged computation (2006)