Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Paolo G. Giarrusso

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 2020Author of Scala Step-by-Step — Soundness for DOT with Step-Indexed Logical Relations in Iris within the ICFP Program-track
Show activities from other conferences

ICFP 2020-profile
View general profile