A MetaOCaml library for structured multi-stage programming using free extensions, described in the following paper:
Partially static data as free extension of algebras
Jeremy Yallop, Tamara von Glehn and Ohad Kammar
ICFP 2018
See also: the Frex project page and our other implementations: Frex for Haskell, Frex for Idris, Frex for Agda.
