List of works - Magnus O. Myreen - Paulina

List of works by Magnus O. Myreen

Cakes That Bake Cakes: Dynamic Computation in CakeML

scientific article published on 06 June 2023

Pancake

scientific article published on 14 October 2023

PureCake: A Verified Compiler for a Lazy Functional Language

scientific article published in 2023

Paulina is supported by:

About Paulina

Help