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: Dezani-Ciancaglini:Mariangiola
Facilitated 2 volumes:
Ed
EdContributed to:
2015
2014
2014
2014
200920092008
2006
20062006
20042004
20022001199719791978197719741972
19972019Wrote 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.
- PPDP-2009-CastagnaDGP
- 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.