Not registered as user yet

Name:Alexander Mihajlovic
Affiliation:Chalmers University of Technology

Contributions

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

Using general profile