Login / Signup
Riccardo Zanetti
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Proof Planning
Functional Language
Query Optimization
Software Engineering
Top Venues
Proc. ACM Program. Lang.
</>
Publications
</>
Hrutvik Kanabar
,
Samuel Vivien
,
Oskar Abrahamsson
,
Magnus O. Myreen
,
Michael Norrish
,
Johannes Åman Pohjola
,
Riccardo Zanetti
PureCake: A Verified Compiler for a Lazy Functional Language.
Proc. ACM Program. Lang.
7 (PLDI) (2023)