metaocaml-frex

KO | EN

gitlite — search

#javascript #react #ai #go #android #rust #docker #nodejs #windows #cli #kubernetes #vue #openai #open-source

(★ 25)

No description available.

metaocaml-frex Latest Version Download

Download Latest Version (.zip)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

## *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:

&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[Partially static data as free extension of algebras](https://www.cl.cam.ac.uk/~jdy22/papers/partially-static-data-as-free-extension-of-algebras.pdf)<br/>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Jeremy Yallop, Tamara von Glehn and Ohad Kammar<br/>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[ICFP 2018](http://icfp18.sigplan.org/)<br/>

See also: the [Frex project page][frex-project] and our other implementations: [Frex for Haskell][haskell-frex], [Frex for Idris][idris-frex], [Frex for Agda][agda-frex].

[![Frex workflow](https://github.com/frex-project/metaocaml-frex/actions/workflows/test.yml/badge.svg)](https://github.com/frex-project/metaocaml-frex/actions/workflows/test.yml)

[frex-project]: https://www.cl.cam.ac.uk/~jdy22/projects/frex/
[haskell-frex]: https://github.com/frex-project/haskell-frex
[idris-frex]: https://github.com/frex-project/idris-frex
[agda-frex]: https://github.com/frex-project/agda-fragment

metaocaml-frex

metaocaml-frex Latest Version Download

Today's picks

Was this content helpful?

Recent Feedback

metaocaml-frex

metaocaml-frex Latest Version Download

Today's picks

Was this content helpful?

Recent Feedback

Download README