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