dblp.uni-trier.dewww.uni-trier.de

Mario Coppo Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
38EESara 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
37EELorenzo 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
36EEMario Coppo, Mariangiola Dezani-Ciancaglini: Structured Communications with Concurrent Constraints. TGC 2008: 104-125
35EEMario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti: Types for ambient and process mobility. Mathematical Structures in Computer Science 18(2): 221-290 (2008)
34EEMario Coppo, Elena Lodi, G. Michele Pinna: Foreword. Theory Comput. Syst. 42(3): 287-288 (2008)
2007
33EEMario 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
31EEMario 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
30EEMario 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
27EEFelice Cardone, Mario Coppo: Decidability Properties of Recursive Types. ICTCS 2003: 242-255
26EEMario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ivano Salvo: Mobility Types for Mobile Processes in Mobile Ambients. Electr. Notes Theor. Comput. Sci. 78: (2003)
2002
25EEMario Coppo, Mariangiola Dezani-Ciancaglini: A Fully Abstract Model for Higher-Order Mobile Ambients. VMCAI 2002: 255-271
24EEMario Coppo, Ferruccio Damiani, Paola Giannini: Strictness, totality, and non-standard-type inference. Theor. Comput. Sci. 272(1-2): 69-112 (2002)
2001
23EEMario Coppo: Type Inference with Recursive Type Equations. FoSSaCS 2001: 184-198
22EEMario Coppo, Daniel Hirschkoff: Incremental Inference of Partial Types. ICTCS 2001: 50-73
21EEMario Coppo, Mariangiola Dezani-Ciancaglini: A Fully Abstract Model for Mobile Ambients. Electr. Notes Theor. Comput. Sci. 62: (2001)
2000
20EEStefano 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
14EEMario 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
10EEMario 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
8EEMario Coppo, Elio Giovannetti: Completeness Results for a Polymorphic Type System. CAAP 1983: 179-190
7EEMario 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
4EEMario Coppo: An Extended Polymorphic Type System for Applicative Languages. MFCS 1980: 194-204
1979
3EEMario Coppo, Mariangiola Dezani-Ciancaglini, Patrick Sallé: Functional Characterization of Some Semantic Equalities inside Lambda-Calculus. ICALP 1979: 133-146
1978
2EEMario 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
1EECorrado Böhm, Mario Coppo, Mariangiola Dezani-Ciancaglini: Termination Tests inside lambda-Calculus. ICALP 1977: 95-110

Coauthor Index

1Hendrik Pieter Barendregt (Henk Barendregt) [5]
2Stefano Berardi [18] [20] [29]
3Lorenzo Bettini [37]
4Corrado Böhm [1]
5Sara Capecchi [38]
6Felice Cardone [13] [27]
7Federico Cozzi [31]
8Loris D'Antoni [37]
9Ferruccio Damiani [17] [19] [20] [24] [29] [30]
10Mariangiola Dezani-Ciancaglini [1] [2] [3] [5] [7] [12] [21] [25] [26] [28] [31] [33] [35] [36] [37] [38]
11Sophia Drossopoulou [38]
12Alberto Ferrari [15]
13Elena Giachino [38]
14Paola Giannini [14] [16] [17] [19] [20] [24]
15Elio Giovannetti [8] [26] [28] [31] [35]
16Daniel Hirschkoff [22]
17Elena Lodi [32] [34]
18Giuseppe Longo [7]
19Marco De Luca [37]
20G. Michele Pinna [32] [34]
21Rosario Pugliese [28] [31]
22Simona Ronchi Della Rocca [2]
23Patrick Sallé [3]
24Ivano Salvo [26]
25Nobuko Yoshida [33] [37]
26Maddalena Zacchi [11] [12]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)