Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Ugo Dal Lago

Registered user since Sat 24 Jun 2017

Name:Ugo Dal Lago
Affiliation:University of Bologna, Italy / Inria, France
Research interests:Programming Language Theory, Probabilistic Computation, Quantum Computation, Cryptography


POPL 2019 [T7] Higher-Order Probabilistic Programming
Intersection Types and Runtime Errors in the Pi-Calculus
BEAT 2019 Invited Talk: On Type-Based Complexity Analysis of Programs and Processes
LAFI 2019 The Geometry of Bayesian Programming
Show activities from other conferences

POPL 2019-profile
View general profile