PureCake: A Verified Compiler for a Lazy Functional Language

Open Webpage

Hrutvik Kanabar, Samuel Vivien, Oskar Abrahamsson, Magnus O. Myreen, Michael Norrish, Johannes Åman Pohjola, Riccardo Zanetti

Published: 01 Jan 2023, Last Modified: 03 Apr 2025Proc. ACM Program. Lang. 2023EveryoneRevisionsBibTeXCC BY-SA 4.0