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

frex: partially-static data as free extension of algebras

A Typed Template Haskell library for structured multi-stage programming, 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 MetaOCaml version of frex.

GitHub Actions status