Registered user since Fri 1 Jul 2016
Name:Ralf Jung
Country:Germany
Affiliation:MPI-SWS
Personal website: https://www.ralfj.de/research/
GitHub: https://github.com/RalfJung
Contributions
POPL 2022-profile
View general profile
View general profile
Registered user since Fri 1 Jul 2016
Contributions