YoVDO

Modern DSL Compiler Architecture in OCaml - Experience with Catala

Offered By: ACM SIGPLAN via YouTube

Tags

OCaml Courses Functional Programming Courses Type System Courses Compiler Design Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a state-of-the-art Domain-Specific Language (DSL) implementation in OCaml through this 20-minute conference talk from OCaML'23. Gain insights into advanced practices and concrete examples based on the Catala compiler, a DSL for implementing algorithms defined in law. Learn about lesser-known techniques like the use of row type variables through object types, which are accepted among experienced OCaml developers but lack visibility and documentation. Discover how Louis Gesbert and Denis Merigoux leverage these practices in their work with the Catala compiler, providing valuable experience reports and showcasing modern DSL compiler architecture in OCaml.

Syllabus

[OCaML'23] Modern DSL compiler architecture in OCaml our experience with Catala


Taught by

ACM SIGPLAN

Related Courses

Compilers
Stanford University via edX Build a Modern Computer from First Principles: Nand to Tetris Part II (project-centered course)
Hebrew University of Jerusalem via Coursera Compiler Design
Indian Institute of Technology, Kharagpur via Swayam Foundations to Computer Systems Design
Indian Institute of Technology Madras via Swayam Compiler Design
YouTube