Travelled to:1 × Finland
1 × France
1 × The Netherlands
2 × United Kingdom
4 × USA
Collaborated with:K.B.Bruce ∅ G.Castagna G.Ghelli L.Cardelli M.V.Zilli K.Milsted S.Soloviev R.M.Amadio
Talks about:model (4) calculus (3) overload (2) subtyp (2) semant (2) domain (2) comput (2) order (2) equat (2) earli (2)
Person: Giuseppe Longo
DBLP: Longo:Giuseppe
Contributed to:
2003
1995
1993
1992199019881986
1985
1976
1993Wrote 10 papers:
- ESEC-FSE-2003-Longo #modelling
- Computer modelling and natural phenomena (GL), pp. 1–5.
- LICS-1995-LongoMS #logic #type system
- A Logic of Subtyping (GL, KM, SS), pp. 292–299.
- TLCA-1993-CastagnaGL #calculus #semantics
- A Semantics for λ&-early: A Calculus with Overloading and Early Binding (GC, GG, GL), pp. 107–123.
- LFP-1992-CastagnaGL #calculus #type system
- A Calculus for Overloaded Functions with Subtyping (GC, GG, GL), pp. 182–192.
- LFP-1990-CardelliL #semantics
- A Semantic Basis for Quest (LC, GL), pp. 30–43.
- LICS-1988-BruceL #bound #inheritance #quantifier
- A Modest Model of Records, Inheritance and Bounded Quantification (KBB, GL), pp. 38–50.
- LICS-1986-AmadioBL #equation #higher-order #λ-calculus
- The Finitary Projection Model for Second Order λ Calculus and Solutions to Higher Order Domain Equations (RMA, KBB, GL), pp. 122–130.
- STOC-1985-BruceL #equation #modelling #morphism
- Provable Isomorphisms and Domain Equations in Models of Typed Languages (KBB, GL), pp. 263–272.
- ICALP-1976-LongoZ #formal method
- A Theory of Computation with an Identity Discriminator (GL, MVZ), pp. 147–167.
- TAPSOFT-1993-Longo #parametricity
- Types as Parameters (GL), pp. 658–670.