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