conf.researchr.org / Paolo G. Giarrusso

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