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 × Finland
1 × France
1 × Hungary
1 × Poland
1 × The Netherlands
1 × USA
1 × United Kingdom
2 × Austria
2 × Portugal
5 × Italy
Collaborated with:
M.Coppo C.Böhm P.Giannini F.Damiani N.Yoshida L.Padovani M.Tatsuta S.R.D.Rocca S.Ghilezan G.Castagna E.Giachino S.Drossopoulou M.Zacchi B.Venneri T.Chen P.Garralda A.B.Compagnoni J.Tiuryn P.Urzyczyn P.Sallé R.D.Cosmo E.Giovannetti D.Mostrous V.Bono M.Bugliesi L.Liquori
Talks about:
type (8) session (7) intersect (3) calculus (3) classif (3) subtyp (3) object (3) multiparti (2) parallel (2) abstract (2)

Person: Mariangiola Dezani-Ciancaglini

DBLP DBLP: Dezani-Ciancaglini:Mariangiola

Facilitated 2 volumes:

TLCA 1995Ed
ICALP 1989Ed

Contributed to:

SFM 20152015
PDP 20142014
PPDP 20142014
RTA-TLCA 20142014
CSL 20092009
PPDP 20092009
CSL 20082008
ECOOP 20062006
LICS 20062006
PPDP 20062006
SAC 20042004
SAC 20042004
VMCAI 20022002
ECOOP 20012001
LICS 19971997
ICALP 19791979
ICALP 19781978
ICALP 19771977
ICALP 19741974
ICALP 19721972
PPDP 20192019

Wrote 23 papers:

SFM-2015-CoppoDPY #multi
A Gentle Introduction to Multiparty Asynchronous Session Types (MC, MDC, LP, NY), pp. 146–178.
PDP-2014-CoppoDV #adaptation #monitoring #multi #self
Self-Adaptive Monitors for Multiparty Sessions (MC, MDC, BV), pp. 688–696.
PPDP-2014-ChenDY #on the #precise #type system
On the Preciseness of Subtyping in Session Types (TCC, MDC, NY), pp. 135–146.
RTA-TLCA-2014-Dezani-CiancagliniG #precise #type system
Preciseness of Subtyping on Intersection and Union Types (MDC, SG), pp. 194–207.
CSL-2009-Dezani-CiancagliniGR #quantifier
Intersection, Universally Quantified, and Reference Types (MDC, PG, SRDR), pp. 209–224.
Foundations of session types (GC, MDC, EG, LP), pp. 219–230.
CSL-2008-Dezani-CiancagliniCGT #morphism #on the
On Isomorphisms of Intersection Types (MDC, RDC, EG, MT), pp. 461–477.
ECOOP-2006-Dezani-CiancagliniMYD #object-oriented
Session Types for Object-Oriented Languages (MDC, DM, NY, SD), pp. 328–352.
LICS-2006-TatsutaD #difference #normalisation
Normalisation is Insensible to λ-Term Identity or Difference (MT, MDC), pp. 327–338.
PPDP-2006-GarraldaCD #named
BASS: boxed ambients with safe sessions (PG, ABC, MDC), pp. 61–72.
SAC-2004-DamianiDG #classification #multi #thread
Re-classification and multi-threading: FickleMT (FD, MDC, PG), pp. 1297–1304.
SAC-PL-J-2004-DamianiDG #classification #multi #on the #thread
On Re-classification and Multi-threading (FD, MDC, PG), pp. 5–30.
VMCAI-2002-CoppoD #higher-order #mobile
A Fully Abstract Model for Higher-Order Mobile Ambients (MC, MDC), pp. 255–271.
ECOOP-2001-DrossopoulouDDG #classification
Fickle : Dynamic Object Re-classification (SD, FD, MDC, PG), pp. 130–149.
LICS-1997-Dezani-CiancagliniTU #parallel
Discrimination by Parallel Observers (MDC, JT, PU), pp. 396–407.
ICALP-1979-CoppoDS #functional #semantics #λ-calculus
Functional Characterization of Some Semantic Equalities inside λ-Calculus (MC, MDC, PS), pp. 133–146.
ICALP-1978-CoppoDR #finite #set #λ-calculus
(Semi)-separability of Finite Sets of Terms in Scott’s D∞-Models of the λ-Calculus (MC, MDC, SRDR), pp. 142–164.
ICALP-1977-BohmCD #termination #testing #λ-calculus
Termination Tests inside λ-Calculus (CB, MC, MDC), pp. 95–110.
ICALP-1974-BohmD #combinator #equation #normalisation #problem
Combinatorial Problems, Combinator Equations and Normal Forms (CB, MDC), pp. 185–199.
ICALP-1974-Dezani-CiancagliniZ #algorithm #parallel #performance
Application of Church-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms (MDC, MZ), pp. 170–184.
ICALP-1972-Bohm #question #syntax
Can Syntax Be Ignored during Translation? (CB, MDC), pp. 197–207.
TAPSOFT-1997-BonoBDL #constraints #type system
Subtyping Constraints for Incomplete Objects (Extended Abstract) (VB, MB, MDC, LL), pp. 465–477.
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.