Nos activités commerciales ont déménagé : retrouvez-nous désormais sur titagone.com.

Related Articles

Articles tagged by boolean

Home

Categories

Flambda2 Ep. 6: Strict Boolean Ifs

Authors: Vincent Laviron, Dario Pinto, Pierre Chambart
Date: 2026-02-14
Category: OCaml
Tags: Flambda, Flambda2, lambda, f2s, boolean

Welcome to a new episode of The Flambda2 Snippets! In the previous article, we explored the general topic of IR semantics and their evolution: what it means for an intermediate representation to have well-defined semantics, why establishing those details matters, and the challenges that arise when e... (Read more)

Flambda2 Ep. 5: The Semantics of Change

Authors: Vincent Laviron, Dario Pinto, Pierre Chambart
Date: 2026-02-13
Category: OCaml
Tags: Flambda, Flambda2, lambda, f2s, boolean

Welcome to a new episode of The Flambda2 Snippets! Do you know how compilers evolve? The F2S blog posts aim at gradually introducing the world to the inner-workings of a complex piece of software engineering: The Flambda2 Optimising Compiler for OCaml, a technical marvel born from a 10 year-long eff... (Read more)