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 × 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 DBLP: Lagorio:Giovanni

Contributed to:

ECOOP 20092009
SAC 20062006
SAC 20062007
SAC 20042004
SAC 20042004
ESOP 20032003
ECOOP 20022002
PPDP 20022002
OOPSLA 20012001
ECOOP 20002000

Wrote 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.

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.