@article{Kanabar_VAMNP_23,
    author           = {Hrutvik Kanabar and Samuel Vivien and Oskar Abrahamsson and Magnus O. Myreen and Michael Norrish and
                        {\AA}man Pohjola, Johannes and Riccardo Zanetti},
    doi              = {10.1145/3591259},
    journal          = {Proceedings of the ACM on Programming Languages},
    number           = {PLDI},
    pages            = {952--976},
    paperurl         = {https://trustworthy.systems/publications/papers/Kanabar_VAMNP_23.pdf},
    publisher        = {ACM},
    title            = {{PureCake}: {A} Verified Compiler for a Lazy Functional Language},
    volume           = {7},
    year             = {2023}
  }