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 × 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 DBLP: Longo:Giuseppe

Contributed to:

ESEC/FSE 20032003
LICS 19951995
TLCA 19931993
LFP 19921992
LFP 19901990
LICS 19881988
LICS 19861986
STOC 19851985
ICALP 19761976

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

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.