metaocaml-frex icon indicating copy to clipboard operation
metaocaml-frex copied to clipboard

Published 20 hours ago • verified publisher icon frex-project
→

Metadata

frex: partially-static data as free extension of algebras

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.

Frex workflow

← Metadata

20
Stars
2
Forks
Watchers

Owner

verified publisher icon frex-project

Metadata

Back