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

2021

ICFP

Author of A Theory of Higher-Order Subtyping with Type Intervals within the Research Papers-track

CoqPL

Committee Member in Program Committee within the CoqPL-track

2020

SPLASH

Author of A Type-and-Effect System for Object Initialization within the OOPSLA Artifacts-track
Author of A Type-and-Effect System for Object Initialization within the OOPSLA-track

ICFP

Author of Scala Step-by-Step — Soundness for DOT with Step-Indexed Logical Relations in Iris within the ICFP Program-track

2019

Scala

Author of Towards Improved GADT Reasoning in Scala within the Scala 2019-track

2018

Scala

Author of Truly Abstract Interfaces for Algebraic Data Types: The Extractor Typing Problem within the Scala 2018-track

2014

DSLDI

Author of Formal Semantics as a Language Designer’s Toolbox: A case for semantics-inspired language design within the DSLDI-track