Blog

The OCaml Planet RSS

Articles and videos contributed by both experts, companies and passionate developers from the OCaml community. From in-depth technical articles, project highlights, community news, or insights into Open Source projects, the OCaml Planet RSS feed aggregator has something for everyone.

Type

All Article Video

Want your Blog Posts or Videos to Show Here?

To contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.

Add your RSS feed!

Filtering by: Keyword: lam Clear all

Learn Lambda Calculus in 10 minutes with OCaml

Dmitrii Kovanikov's Personas Web Space

angstrom calculus company_id expr_p lam lambda parens_p pattern matching programmer-friendly var

05 Feb 2024

Dmitrii Kovanikov

Read Article

Parametric HOAS with first-class modules

One of the first choice to make when starting the development of a compiler, or any program manipulating syntax with binders (e.g. programs with functions and variables), is how to represent these …

GADT first-class first-class module functor hoas inhabitant lam parametric pre-term var

27 Jun 2014

Matthias Puech

Read Article

Update on Typeful Normalization by Evaluation

In October, I publicized here a new draft on normalization by evaluation, which provoked some very helpful comments and constructive criticisms. Together with Chantal and Olivier, we thus revised t…

GADT cps cps-transform eval fun lam nbe normalization type inference var

14 Feb 2014

Matthias Puech

Read Article

Quick, dirty and shallow definitions

Here is a quick hack. A few months ago, I advocated for pointer equality in OCaml (==) as a way to deal with fresh symbols in a toy compiler. Today, I’ll show another application of pointer e…

app definitions exp functor lam lookup_or num tbl to_string var

21 Nov 2013

Matthias Puech

Read Article

The OCaml Planet RSS

Type

Source

Keyword

Year

Author

Want your Blog Posts or Videos to Show Here?