Paolo G. Giarrusso

According to our database1, Paolo G. Giarrusso authored at least 20 papers between 2011 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




A theory of higher-order subtyping with type intervals.
Proc. ACM Program. Lang., 2021

A Theory of Higher-Order Subtyping with Type Intervals (Extended Version).
CoRR, 2021

Optimizing and Incrementalizing Higher-order Collection Queries by AST Transformation.
PhD thesis, 2020

A type-and-effect system for object initialization.
Proc. ACM Program. Lang., 2020

Scala step-by-step: soundness for DOT with step-indexed logical relations in Iris.
Proc. ACM Program. Lang., 2020

Towards improved GADT reasoning in Scala.
Proceedings of the Tenth ACM SIGPLAN Symposium on Scala, 2019

Incremental \lambda -Calculus in Cache-Transfer Style - Static Memoization by Program Transformation.
Proceedings of the Programming Languages and Systems, 2019

Truly abstract interfaces for algebraic data types: the extractor typing problem.
Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, 2018

System f-omega with equirecursive types for datatype-generic programming.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Scalable prediction of non-functional properties in software product lines: Footprint and memory consumption.
Inf. Softw. Technol., 2013

Open GADTs and declaration-site variance: a problem statement.
Proceedings of the 4th Workshop on Scala, 2013

Reify your collection queries for modularity and speed!
Proceedings of the Aspect-Oriented Software Development, 2013

Reifying and optimizing collection queries for modularity.
Proceedings of the SPLASH'12, 2012

Reifying and optimizing collection queries for modularity.
Proceedings of the SPLASH'12, 2012

Language composition untangled.
Proceedings of the International Workshop on Language Descriptions, 2012

Partial preprocessing C code for variability analysis.
Proceedings of the Fifth International Workshop on Variability Modelling of Software-Intensive Systems, 2011

Scalable Prediction of Non-functional Properties in Software Product Lines.
Proceedings of the Software Product Lines - 15th International Conference, 2011

Variability-aware parsing in the presence of lexical macros and conditional compilation.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Revisiting Information Hiding: Reflections on Classical and Nonclassical Modularity.
Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011