Not registered as user yet

Name:Johannes Åman Pohjola
Affiliation:University of New South Wales, Australia

Contributions

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

Using general profile