PureCake: A Verified Compiler for a Lazy Functional Language.

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

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases