IOHK |
ライブラリー
ライブラリー > 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
ライブラリー > Joris Dral
Jacco Krijnen,Wouter Swierstra,Manuel Chakravarty,Joris Dral,Gabriele Keller
October/2025, To appear in: FUNARCH '25