Start of topic | Skip to actions

MetaOCaml

A compiled, type-safe, multi-stage programming language.

Download current (November 1st, 2005) (or archived distributions) and follow instructions in INSTALL-META. For Windows, you'll need Cygwin.

New! MetaOCaml examples written by various authors

New! At GPCE 2005 there will be a MetaOCaml Tutorial and Workshop.

MetaOCaml is a multi-stage extension of the OCaml 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.

Learn more about multi-stage programming.

camel.gif

Getting Started

Related Systems

MetaML An interpreted, multi-stage ML Tempo A C partial evaluation system DyC A dynamic compilation framework
'C A compiled, two-level C Fabius An RTCG ML compiler

The MetaOCaml Team

Contributors

Liwen Huang

Acknowledgments

This work was funded by NSF ITR on "Putting Multi-stage Annotations to Work". This page was designed with the help of Molly Bigelow.

End of topic
Skip to actions | Back to top
Topic Actions: Edit | Attach | Printable | Raw View | Backlinks: Web, All Webs | History: r5 < r4 < r3 < r2 < r1 | More topic actions
Webs: Main | TWiki | Africa | Gpce | Houston | International | K12 | MetaOCaml | MulticoreOCR | ProgrammingLanguages | RAP | RIDL | Sandbox | Teaching | Texbot | WG211
Web Actions: home MetaOCaml Web newtopic Create New Topic index Index searchtopic Search changes Changes notify Notifications statistics Statistics wrench Preferences
Creative Commons LicenseThis work is licensed under a Creative Commons Attribution 2.5 License. Please follow our citation guidelines.