An interesting paper that uses OCaml is http://gallium.inria.fr/~fpottier/publis/fpottier-elaboration.pdf by Francois Pottier, which gives a declarative DSL for implementing type rules with applicative functors. It has an associated library, opam - inferno.
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| V3.ocaml.org: we are live! | 23 | 3630 | May 13, 2022 | |
| A gentle reminder about the OCaml Weekly News | 6 | 924 | November 16, 2020 | |
| Interesting non-OCaml tech articles | 6 | 1859 | August 8, 2023 | |
| An experimental, unofficial OCaml wiki | 24 | 4666 | April 11, 2022 | |
| You Can Attend the New OCaml.org Community Meetings | 10 | 1502 | December 5, 2023 |