MetaOCaml swMATH ID: 9230 Software Authors: Walid Taha; Cristiano Calcagno; Xavier Leroy; Ed Pizzi; Emir Pasalic; Jason Lee Eckhardt; Roumen Kaiabachev; Oleg Kiselyo Description: 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. Homepage: http://www.cs.rice.edu/~taha/MetaOCaml/ Related Software: OCaml; Agda; Coq; MiniML; reFLect; HOL Light; ETPS; HOL; ML; XDuce; HOL Light QE; Idris; MathScheme; IMPS; NQTHM; Nuprl; MetaPRL; Theorema; ACL2; ScalaBlitz Cited in: 9 Publications all top 5 Cited by 19 Authors 2 Farmer, William M. 2 Kiselyov, Oleg 1 Biboudis, Aggelos 1 Carette, Jacques 1 Eckhardt, Jason 1 Gardner, Philippa Anne 1 Hanada, Yuichiro 1 Igarashi, Atsushi 1 Kaiabachev, Roumen 1 League, Christopher 1 Liu, Yu David 1 Maffeis, Sergio 1 Palladinos, Nick 1 Pasalic, Emir 1 Skalka, Christian 1 Smaragdakis, Yannis 1 Smith, Scott F. 1 Swadi, Kedar N. 1 Taha, Walid Cited in 5 Serials 2 Science of Computer Programming 1 New Generation Computing 1 Information and Computation 1 Higher-Order and Symbolic Computation 1 The Journal of Logic and Algebraic Programming Cited in 2 Fields 9 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) Citations by Year