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 6 articles )
Showing results 1 to 6 of 6.
- 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)
- 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)