UPLC (UPLC Programming Language Conference) 2025

Speaker

Jacco Krijnen

Talks at this conference:
 Thu, 10:50 A Layered Certifying Compiler Architecture

 Overview