Type-safe Nanopasses: How to Write a Safe and Modern Compiler Front-end - INFER 2024
Offered By: ACM SIGPLAN via YouTube
Course Description
Overview
Explore a novel approach to writing type-safe compiler front-ends in this 40-minute conference talk from INFER 2024. Discover how to combine nanopasses and recursion schemes to create strongly typed compiler passes with minimal boilerplate code. Learn about the implementation of this technique in the Ada frontend for the Infer analyzer, presented by Daniel Mercier from AdaCore. Gain insights into solving the challenge of typing compiler passes when source and destination languages share multiple node kinds, while maintaining a strict typing discipline.
Syllabus
[INFER24] Type-safe Nanopasses: How to write a safe and modern compiler front-end
Taught by
ACM SIGPLAN
Related Courses
CompilersStanford 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