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 × Austria
1 × Canada
1 × Denmark
1 × India
1 × Italy
1 × Japan
1 × Korea
1 × Spain
1 × Sweden
1 × The Netherlands
2 × United Kingdom
3 × Portugal
9 × USA
Collaborated with:
V.Benzaken A.Frisch K.Nguyen L.Padovani J.Boyland B.C.Pierce Z.Xu G.Ghelli G.Longo C.Miachon M.Dezani-Ciancaglini E.Giachino D.Colazzo M.Bugliesi H.Im N.Gesbert R.D.Nicola D.Varacca H.Hosoya P.Abate J.Siméon Victor Lanvin Tommaso Petrucciani J.G.Siek S.Lenglet
Talks about:
type (11) semant (7) subtyp (6) xml (6) polymorph (4) calculus (4) function (3) theoret (3) pattern (3) foundat (3)

Person: Giuseppe Castagna

DBLP DBLP: Castagna:Giuseppe

Facilitated 3 volumes:

ECOOP 2013Ed
ESOP 2009Ed
POPL 2017Ed

Contributed to:

ESOP 20152015
POPL 20152015
POPL 20142014
POPL 20132013
ICFP 20112011
PPDP 20092009
ICFP 20082008
POPL 20082008
PPDP 20082008
VLDB 20062006
ICALP 20052005
LICS 20052005
PADL 20052005
POPL 20052005
PPDP 20052005
ICFP 20032003
LICS 20022002
POPL 20012001
OOPSLA 19971997
ECOOP 19961996
POPL 19951995
POPL 19941994
TLCA 19931993
LFP 19921992
POPL 20192019
PPDP 20192019

Wrote 26 papers:

ESOP-2015-CastagnaI0B #calculus #pattern matching #xquery
A Core Calculus for XQuery 3.0 — Combining Navigational and Pattern Matching Approaches (GC, HI, KN, VB), pp. 232–256.
POPL-2015-Castagna0XA #polymorphism #re-engineering #type inference
Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction (GC, KN, ZX, PA), pp. 289–302.
POPL-2014-Castagna0XILP #evaluation #polymorphism #semantics #syntax
Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation (GC, KN, ZX, HI, SL, LP), pp. 5–18.
POPL-2013-BenzakenCNS #semantics
Static and dynamic semantics of NoSQL languages (VB, GC, KN, JS), pp. 101–114.
ICFP-2011-CastagnaX #morphism #parametricity #polymorphism #type system
Set-theoretic foundation of parametric polymorphism and subtyping (GC, ZX), pp. 94–106.
PPDP-2009-CastagnaDGP
Foundations of session types (GC, MDC, EG, LP), pp. 219–230.
ICFP-2008-CastagnaN #xml
Typed iterators for XML (GC, KN), pp. 15–26.
POPL-2008-CastagnaGP #contract #formal method #web #web service
A theory of contracts for web services (GC, NG, LP), pp. 261–272.
PPDP-2008-BenzakenCCM #programming #query #visual notation #xml
Pattern by example: type-driven visual programming of XML queries (VB, GC, DC, CM), pp. 131–142.
VLDB-2006-BenzakenCCN #type system #xml
Type-Based XML Projection (VB, GC, DC, KN), pp. 271–282.
ICALP-2005-CastagnaF #semantics #type system
A Gentle Introduction to Semantic Subtyping (GC, AF), pp. 30–34.
LICS-2005-CastagnaNV #calculus #semantics #type system
Semantic Subtyping for the p-Calculus (GC, RDN, DV), pp. 92–101.
PADL-2005-BenzakenCM #paradigm #query #xml
A Full Pattern-Based Paradigm for XML Query Processing (VB, GC, CM), pp. 235–252.
POPL-2005-HosoyaFC #morphism #parametricity #polymorphism #xml
Parametric polymorphism for XML (HH, AF, GC), pp. 50–62.
PPDP-2005-CastagnaF #semantics #type system
A gentle introduction to semantic subtyping (GC, AF), pp. 198–199.
ICFP-2003-BenzakenCF #named #xml
CDuce: an XML-centric general-purpose language (VB, GC, AF), pp. 51–63.
LICS-2002-FrischCB #semantics #type system
Semantic Subtyping (AF, GC, VB), pp. 137–146.
POPL-2001-BugliesiC
Secure safe ambients (MB, GC), pp. 222–235.
OOPSLA-1997-BoylandC #implementation #java #multi
Parasitic Methods: An Implementation of Multi-Methods for Java (JB, GC), pp. 66–76.
ECOOP-1996-BoylandC #compilation #type safety
Type-Safe Compilation of Covariant Specialization: A Practical Case (JB, GC), pp. 3–25.
POPL-1995-CastagnaP #bound #decidability #named #quantifier
Corrigendum: Decidable Bounded Quantification (GC, BCP), p. 408.
POPL-1994-CastagnaP #bound #decidability #quantifier
Decidable Bounded Quantification (GC, BCP), pp. 151–162.
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.
POPL-2019-CastagnaLPS #perspective #type system
Gradual typing: a new perspective (GC, VL, TP, JGS), p. 32.
PPDP-2019-CastagnaDGP #years after
Foundations of Session Types: 10 Years Later (GC, MDC, EG, LP), p. 3.
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.