Not registered as user yet

Name:Riccardo Zanetti
Affiliation:Chalmers University of Technology, Sweden

Contributions

PLDI 2023 PureCake: A Verified Compiler for a Lazy Functional Language
Show activities from other conferences

Using general profile