![Paolo G. Giarrusso](https://icfp21.sigplan.org/getProfileImage/paologgiarrusso/84a30b15-2046-47e8-b269-a6b8f51b51bf/small.jpg?1711586923000)
Registered user since Wed 15 Oct 2014
Name:Paolo G. Giarrusso
Affiliation:Delft University of Technology
Research interests:Separation Logic, Logical Relations, Scala, Programming Language Theory
Contributions
ICFP 2021-profile
View general profile
View general profile