Related Articles

Articles tagged by ep1

Home

Categories

CPS Representation and Foundational Design Decisions in Flambda2

Authors: Pierre Chambart, Vincent Laviron, Guillaume Bury, Nathanaëlle Courant, Dario Pinto
Date: 2024-03-19
Category: OCaml
Tags: flambda2, flambda, compiler, optimization, cps, f2s, ep1

In this first post of the Flambda2 Snippets, we dive into the powerful CPS-based internal representation used within the Flambda2 optimizer, which was one of the main motivation to move on from the former Flambda optimizer. Credit goes to Andrew Kennedy's paper Compiling with Continuations, Continue... (Read more)