IOHK |
Library
Library > Joris Dral
Joris Dral
A Layered Certifying Compiler Architecture
Jacco Krijnen,Wouter Swierstra,Manuel Chakravarty,Joris Dral,Gabriele Keller
October/2025, To appear in: FUNARCH '25
Library > Joris Dral
Jacco Krijnen,Wouter Swierstra,Manuel Chakravarty,Joris Dral,Gabriele Keller
October/2025, To appear in: FUNARCH '25