Abstract

The talk is an overview of staging and the MetaOCaml project. We describe key theoretical results that were attained before the start of the project, and the results that were directly associated with MetaOCaml. We conclude by outlining what we view are the important open problems relating to MetaOCaml.