| 2009 |
|---|
| 38 | EE | Sara Capecchi,
Mario Coppo,
Mariangiola Dezani-Ciancaglini,
Sophia Drossopoulou,
Elena Giachino:
Amalgamating sessions and methods in object-oriented languages with generics.
Theor. Comput. Sci. 410(2-3): 142-167 (2009) |
| 2008 |
|---|
| 37 | EE | Lorenzo Bettini,
Mario Coppo,
Loris D'Antoni,
Marco De Luca,
Mariangiola Dezani-Ciancaglini,
Nobuko Yoshida:
Global Progress in Dynamically Interleaved Multiparty Sessions.
CONCUR 2008: 418-433 |
| 36 | EE | Mario Coppo,
Mariangiola Dezani-Ciancaglini:
Structured Communications with Concurrent Constraints.
TGC 2008: 104-125 |
| 35 | EE | Mario Coppo,
Mariangiola Dezani-Ciancaglini,
Elio Giovannetti:
Types for ambient and process mobility.
Mathematical Structures in Computer Science 18(2): 221-290 (2008) |
| 34 | EE | Mario Coppo,
Elena Lodi,
G. Michele Pinna:
Foreword.
Theory Comput. Syst. 42(3): 287-288 (2008) |
| 2007 |
|---|
| 33 | EE | Mario Coppo,
Mariangiola Dezani-Ciancaglini,
Nobuko Yoshida:
Asynchronous Session Types and Progress for Object Oriented Languages.
FMOODS 2007: 1-31 |
| 2005 |
|---|
| 32 | | Mario Coppo,
Elena Lodi,
G. Michele Pinna:
Theoretical Computer Science, 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings
Springer 2005 |
| 31 | EE | Mario Coppo,
Federico Cozzi,
Mariangiola Dezani-Ciancaglini,
Elio Giovannetti,
Rosario Pugliese:
A Mobility Calculus with Local and Dependent Types.
Processes, Terms and Cycles 2005: 404-444 |
| 30 | EE | Mario Coppo,
Ferruccio Damiani:
Preface.
Electr. Notes Theor. Comput. Sci. 136: 1-2 (2005) |
| 2004 |
|---|
| 29 | | Stefano Berardi,
Mario Coppo,
Ferruccio Damiani:
Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
Springer 2004 |
| 28 | | Mario Coppo,
Mariangiola Dezani-Ciancaglini,
Elio Giovannetti,
Rosario Pugliese:
Dynamic and Local Typing for Mobile Ambients.
IFIP TCS 2004: 577-590 |
| 2003 |
|---|
| 27 | EE | Felice Cardone,
Mario Coppo:
Decidability Properties of Recursive Types.
ICTCS 2003: 242-255 |
| 26 | EE | Mario Coppo,
Mariangiola Dezani-Ciancaglini,
Elio Giovannetti,
Ivano Salvo:
Mobility Types for Mobile Processes in Mobile Ambients.
Electr. Notes Theor. Comput. Sci. 78: (2003) |
| 2002 |
|---|
| 25 | EE | Mario Coppo,
Mariangiola Dezani-Ciancaglini:
A Fully Abstract Model for Higher-Order Mobile Ambients.
VMCAI 2002: 255-271 |
| 24 | EE | Mario Coppo,
Ferruccio Damiani,
Paola Giannini:
Strictness, totality, and non-standard-type inference.
Theor. Comput. Sci. 272(1-2): 69-112 (2002) |
| 2001 |
|---|
| 23 | EE | Mario Coppo:
Type Inference with Recursive Type Equations.
FoSSaCS 2001: 184-198 |
| 22 | EE | Mario Coppo,
Daniel Hirschkoff:
Incremental Inference of Partial Types.
ICTCS 2001: 50-73 |
| 21 | EE | Mario Coppo,
Mariangiola Dezani-Ciancaglini:
A Fully Abstract Model for Mobile Ambients.
Electr. Notes Theor. Comput. Sci. 62: (2001) |
| 2000 |
|---|
| 20 | EE | Stefano Berardi,
Mario Coppo,
Ferruccio Damiani,
Paola Giannini:
Type-Based Useless-Code Elimination for Functional Programs.
SAIG 2000: 172-189 |
| 1997 |
|---|
| 19 | | Mario Coppo,
Ferruccio Damiani,
Paola Giannini:
On Strictness and Totality.
TACS 1997: 138-164 |
| 1996 |
|---|
| 18 | | Stefano Berardi,
Mario Coppo:
Types for Proofs and Programs, International Workshop TYPES'95, Torino, Italy, June 5-8, 1995, Selected Papers
Springer 1996 |
| 17 | | Mario Coppo,
Ferruccio Damiani,
Paola Giannini:
Refinement Types for Program Analysis.
SAS 1996: 143-158 |
| 1995 |
|---|
| 16 | | Mario Coppo,
Paola Giannini:
Principal Types and Unification for a Simple Intersection Type System
Inf. Comput. 122(1): 70-96 (1995) |
| 1993 |
|---|
| 15 | | Mario Coppo,
Alberto Ferrari:
Type Inference, Abstract Interpretation and Strictness Analysis.
Theor. Comput. Sci. 121(1&2): 113-143 (1993) |
| 1992 |
|---|
| 14 | | Mario Coppo,
Paola Giannini:
A Complete Type Inference Algorithm for Simple Intersection Types.
CAAP 1992: 102-123 |
| 1991 |
|---|
| 13 | | Felice Cardone,
Mario Coppo:
Type Inference with Recursive Types: Syntax and Semantics
Inf. Comput. 92(1): 48-80 (1991) |
| 1987 |
|---|
| 12 | | Mario Coppo,
Mariangiola Dezani-Ciancaglini,
Maddalena Zacchi:
Type Theories, Normal Forms and D_\infty-Lambda-Models
Inf. Comput. 72(2): 85-116 (1987) |
| 1986 |
|---|
| 11 | | Mario Coppo,
Maddalena Zacchi:
Type inference and logical relations
LICS 1986: 218-226 |
| 1985 |
|---|
| 10 | | Mario Coppo:
A Completeness Theorem for Recursively Defined Types.
ICALP 1985: 120-129 |
| 1984 |
|---|
| 9 | | Mario Coppo:
Completeness of Type Assignment in Continuous Lambda Models.
Theor. Comput. Sci. 29: 309-324 (1984) |
| 1983 |
|---|
| 8 | | Mario Coppo,
Elio Giovannetti:
Completeness Results for a Polymorphic Type System.
CAAP 1983: 179-190 |
| 7 | | Mario Coppo,
Mariangiola Dezani-Ciancaglini,
Giuseppe Longo:
Applicative Information Systems.
CAAP 1983: 35-64 |
| 6 | | Mario Coppo:
On the Semantics of Polymorphism.
Acta Inf. 20: 159-170 (1983) |
| 5 | | Henk Barendregt,
Mario Coppo,
Mariangiola Dezani-Ciancaglini:
A Filter Lambda Model and the Completeness of Type Assignment.
J. Symb. Log. 48(4): 931-940 (1983) |
| 1980 |
|---|
| 4 | | Mario Coppo:
An Extended Polymorphic Type System for Applicative Languages.
MFCS 1980: 194-204 |
| 1979 |
|---|
| 3 | | Mario Coppo,
Mariangiola Dezani-Ciancaglini,
Patrick Sallé:
Functional Characterization of Some Semantic Equalities inside Lambda-Calculus.
ICALP 1979: 133-146 |
| 1978 |
|---|
| 2 | | Mario Coppo,
Mariangiola Dezani-Ciancaglini,
Simona Ronchi Della Rocca:
(Semi)-separability of Finite Sets of Terms in Scott's D_infty-Models of the lambda-Calculus.
ICALP 1978: 142-164 |
| 1977 |
|---|
| 1 | | Corrado Böhm,
Mario Coppo,
Mariangiola Dezani-Ciancaglini:
Termination Tests inside lambda-Calculus.
ICALP 1977: 95-110 |
