conf.researchr.org / Paolo G. Giarrusso
Paolo G. Giarrusso

Registered user since Wed 15 Oct 2014

Name: Paolo G. Giarrusso

Affiliation: TU Delft, The Netherlands

Research interests: Programming Language Theory, Incremental Computation, Scala

Contributions

Scala 2019Author of Towards Improved GADT Reasoning in Scala within the Scala 2019-track
Scala 2018Author of Truly Abstract Interfaces for Algebraic Data Types: The Extractor Typing Problem within the Scala 2018-track
DSLDIAuthor of Formal Semantics as a Language Designer’s Toolbox: A case for semantics-inspired language design within the DSLDI-track