Registered user since Mon 17 May 2021
Name:Raven Beutner
Country:United Kingdom
Affiliation:University of Oxford
Contributions
| PLDI 2021 | On Probabilistic Termination of Functional Programs with Continuous Distributions | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI 2021-profile
View general profile
View general profile