Registered user since Mon 20 Jan 2020

Name:Oskar Abrahamsson
Country:Sweden
Affiliation:Chalmers University of Technology

Contributions

PLDI 2023 Cakes that Bake Cakes: Dynamic Computation in CakeML
Show activities from other conferences

Using general profile