BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Belgium
1 × Canada
1 × Finland
1 × France
1 × Germany
1 × Portugal
1 × The Netherlands
1 × USA
2 × Italy
Collaborated with:
H.Cirstea C.Kirchner ∅ B.P.Serpette B.Wack D.Colnet M.Bugliesi F.Lang P.Lescanne P.D.Gianantonio F.Honsell G.Barthe G.Delzanno M.Martelli V.Bono M.Dezani-Ciancaglini G.N.Hoang V.Ciancaglini P.Maksimovic H.N.Chan
Talks about:
object (6) calculus (5) type (5) rewrit (3) match (3) system (2) extens (2) extend (2) constraint (1) polymorph (1)

Person: Luigi Liquori

DBLP DBLP: Liquori:Luigi

Contributed to:

SAC 20132013
PPDP 20042004
WRLA 20042005
POPL 20032003
WRLA 20022002
FoSSaCS 20012001
RTA 20012001
TOOLS Pacific 20002000
World Congress on Formal Methods 19991999
ECOOP 19981998
OOPSLA 19981998
ECOOP 19971997
JICSLP 19961996
TAPSOFT CAAP/FASE 19971997

Wrote 14 papers:

SAC-2013-HoangLCMC #network #protocol
A backward-compatible protocol for inter-routing over heterogeneous overlay networks (GNH, LL, VC, PM, HNC), pp. 649–651.
PPDP-2004-LiquoriS #calculus #imperative #named
iRho: an imperative rewriting calculus (LL, BPS), pp. 167–178.
WRLA-2004-LiquoriW05 #calculus #polymorphism #type checking #type inference
The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference] (LL, BW), pp. 89–111.
POPL-2003-BartheCKL #type system
Pure patterns type systems (GB, HC, CK, LL), pp. 250–261.
WRLA-2002-CirsteaKL #calculus
Rewriting Calculus with(out) Types (HC, CK, LL), pp. 3–19.
FoSSaCS-2001-CirsteaKL
The Rho Cube (HC, CK, LL), pp. 168–183.
RTA-2001-CirsteaKL
Matching Power (HC, CK, LL), pp. 77–92.
TOOLS-PACIFIC-2000-ColnetL #eiffel
Match-O, A Dialect of Eiffel with Match-Types (DC, LL), pp. 190–201.
FM-v2-1999-LangLL #calculus #framework
A Framework for Defining Object-Calculi (FL, PL, LL), pp. 963–982.
ECOOP-1998-Liquori #on the
On Object Extension (LL), pp. 498–522.
OOPSLA-1998-GianantonioHL #self #λ-calculus
A λ Calculus of Objects with Self-Inflicted Extension (PDG, FH, LL), pp. 166–178.
ECOOP-1997-Liquori #first-order
An Extended Theory of Primitive Objects: FIrst Order System (LL), pp. 146–169.
JICSLP-1996-BugliesiDML #calculus #linear #logic
A Linear Logic Calculus Objects (MB, GD, LL, MM), pp. 67–81.
TAPSOFT-1997-BonoBDL #constraints #type system
Subtyping Constraints for Incomplete Objects (Extended Abstract) (VB, MB, MDC, LL), pp. 465–477.
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.