![Paolo G. Giarrusso](https://icfp20.sigplan.org/getProfileImage/paologgiarrusso/68e3b4f0-372b-49f4-b8f6-6c90d3a7b40b/small.jpg?1711586923000)
Registered user since Wed 15 Oct 2014
Name:Paolo G. Giarrusso
Affiliation:BedRock Systems
Research interests:Separation Logic, Logical Relations, Scala, Programming Language Theory
Contributions
ICFP 2020-profile
View general profile
View general profile