# Interesting OCaml Articles

**URL:** <https://discuss.ocaml.org/t/interesting-ocaml-articles/1867>\
**Category:** Community\
**Tags:** video, podcast, social-media, web, blog\
**Created:** [April 16, 2018, 1:47am UTC](https://discuss.ocaml.org/t/interesting-ocaml-articles/1867 "2018-04-16T01:47:45Z")\
**Posts on this page:** 1\
**Showing post:** 100

<div class="post-metadata">

**Author:** ![alan](https://avatars.discourse-cdn.com/v4/letter/a/a87d85/32.png) [@alan](https://discuss.ocaml.org/u/alan)\
**Post date:** [September 25, 2022, 4:16am UTC](https://discuss.ocaml.org/t/interesting-ocaml-articles/1867/100 "2022-09-25T04:16:43Z")

</div>

An interesting paper that uses OCaml is [http://gallium.inria.fr/~fpottier/publis/fpottier-elaboration.pdf](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](https://opam.ocaml.org/packages/inferno/).

---

_[View the full topic](https://discuss.ocaml.org/t/interesting-ocaml-articles/1867)._