BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Estonia
1 × Germany
1 × USA
2 × United Kingdom
Collaborated with:
K.Ostermann T.Rendel Y.Cai C.Kästner S.Erdweg Y.Régis-Gianas P.Schuster T.Berger N.Siegmund M.Rosenmüller S.Apel S.S.Kolesnikov
Talks about:
increment (2) program (2) languag (2) static (2) equirecurs (1) differenti (1) transform (1) transfer (1) properti (1) nonclass (1)

Person: Paolo G. Giarrusso

DBLP DBLP: Giarrusso:Paolo_G=

Contributed to:

PLDI 20142014
LDTA 20122012
ECOOP 20112011
OOPSLA 20112011
SPLC 20112011
ESOP 20192019
POPL 20162016

Wrote 7 papers:

PLDI-2014-CaiGRO #difference #formal method #higher-order #λ-calculus
A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation (YC, PGG, TR, KO), p. 17.
LDTA-2012-ErdwegGR #composition
Language composition untangled (SE, PGG, TR), p. 7.
ECOOP-2011-OstermannGKR #composition #information management
Revisiting Information Hiding: Reflections on Classical and Nonclassical Modularity (KO, PGG, CK, TR), pp. 155–178.
OOPSLA-2011-KastnerGREOB #compilation #metaprogramming #parsing #variability
Variability-aware parsing in the presence of lexical macros and conditional compilation (CK, PGG, TR, SE, KO, TB), pp. 805–824.
SPLC-2011-SiegmundRKGAK #non-functional #predict #product line #scalability
Scalable Prediction of Non-functional Properties in Software Product Lines (NS, MR, CK, PGG, SA, SSK), pp. 160–169.
ESOP-2019-GiarrussoRS #incremental #program transformation #λ-calculus
Incremental λ-Calculus in Cache-Transfer Style - Static Memoization by Program Transformation (PGG, YRG, PS), pp. 553–580.
POPL-2016-CaiGO #data type #programming #recursion
System f-omega with equirecursive types for datatype-generic programming (YC, PGG, KO), pp. 30–43.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.