SPLASH 2023 (series) / Federico Olmedo
Registered user since Tue 28 Jan 2020
Name:Federico Olmedo
Country:Chile
Affiliation:University of Chile & IMFD Chile
Personal website:https://users.dcc.uchile.cl/~folmedo/
Research interests:Program verification, probabilistic programming, language-based security
Contributions
| SPLASH 2023 | A Gradual Probabilistic Lambda Calculus | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile