Riccardo Zanetti

According to our database, Riccardo Zanetti authored at least 1 paper in 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Proc. ACM Program. Lang., 2023