Article,
PureCake: A Verified Compiler for a Lazy Functional Language.
H. Kanabar, S. Vivien, O. Abrahamsson, M. Myreen, M. Norrish, J. Pohjola, and R. Zanetti.Proc. ACM Program. Lang., 7 (PLDI): 952-976 (2023)
Meta data
- BibTeX key
- journals/pacmpl/KanabarVAMNPZ23
- entry type
- article
- year
- 2023
- journal
- Proc. ACM Program. Lang.
- number
- PLDI
- pages
- 952-976
- volume
- 7
- ee
- https://www.wikidata.org/entity/Q121133454
- url
- http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#KanabarVAMNPZ23
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/pacmpl/KanabarVAMNPZ23
%A Kanabar, Hrutvik
%A Vivien, Samuel
%A Abrahamsson, Oskar
%A Myreen, Magnus O.
%A Norrish, Michael
%A Pohjola, Johannes Åman
%A Zanetti, Riccardo
%D 2023
%J Proc. ACM Program. Lang.
%K dblp
%N PLDI
%P 952-976
%T PureCake: A Verified Compiler for a Lazy Functional Language.
%U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#KanabarVAMNPZ23
%V 7
@article{journals/pacmpl/KanabarVAMNPZ23,
added-at = {2023-10-22T00:00:00.000+0200},
author = {Kanabar, Hrutvik and Vivien, Samuel and Abrahamsson, Oskar and Myreen, Magnus O. and Norrish, Michael and Pohjola, Johannes Åman and Zanetti, Riccardo},
biburl = {https://www.bibsonomy.org/bibtex/29c3028aa11353d1f110978ee92bcc442/dblp},
ee = {https://www.wikidata.org/entity/Q121133454},
interhash = {ded290eba35b1aa6344af53c280d15ca},
intrahash = {9c3028aa11353d1f110978ee92bcc442},
journal = {Proc. ACM Program. Lang.},
keywords = {dblp},
number = {PLDI},
pages = {952-976},
timestamp = {2024-04-08T09:55:01.000+0200},
title = {PureCake: A Verified Compiler for a Lazy Functional Language.},
url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#KanabarVAMNPZ23},
volume = 7,
year = 2023
}