Travelled to:1 × Cyprus
1 × Italy
1 × Poland
1 × Spain
2 × France
2 × USA
Collaborated with:E.Zucca D.Ancona ∅ M.Servetto S.Drossopoulou S.Eisenbach
Talks about:java (8) languag (3) compil (3) type (3) calculus (2) unknown (2) separ (2) class (2) safe (2) like (2)
Person: Giovanni Lagorio
DBLP: Lagorio:Giovanni
Contributed to:
2009
2006200720042004
20032002
2002
20012000Wrote 11 papers:
- ECOOP-2009-AnconaL #induction #object-oriented #type system
- Coinductive Type Systems for Object-Oriented Languages (DA, GL), pp. 2–26.
- ECOOP-2009-LagorioSZ #calculus #composition
- Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes (GL, MS, EZ), pp. 244–268.
- SAC-2006-LagorioZ #java
- Introducing safe unknown types in Java-like languages (GL, EZ), pp. 1429–1434.
- SAC-OOPS-J-2006-LagorioZ07 #java #named
- Just: Safe Unknown Types in Java-like Languages (GL, EZ), pp. 69–98.
- SAC-2004-Lagorio #compilation #java #towards
- Another step towards a smart compilation manager for Java (GL), pp. 1275–1280.
- SAC-PL-J-2004-Lagorio #dependence #java
- Capturing ghost dependencies in Java sources (GL), pp. 77–96.
- ESOP-2003-DrossopoulouLE #flexibility #modelling
- Flexible Models for Dynamic Linking (SD, GL, SE), pp. 38–53.
- ECOOP-2002-AnconaLZ #compilation #framework #java
- A Formal Framework for Java Separate Compilation (DA, GL, EZ), pp. 609–636.
- PPDP-2002-AnconaLZ #compilation #java
- True separate compilation of Java classes (DA, GL, EZ), pp. 189–200.
- OOPSLA-2001-AnconaLZ #calculus #exception #java
- A Core Calculus for Java Exceptions (DA, GL, EZ), pp. 16–30.
- ECOOP-2000-AnconaLZ #java #mixin #named
- Jam — A Smooth Extension of Java with Mixins (DA, GL, EZ), pp. 154–178.