|
Search the dblp DataBase
Mario Coppo:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Mario Coppo
A Completeness Theorem for Recursively Defined Types. [Citation Graph (1, 0)][DBLP] ICALP, 1985, pp:120-129 [Conf]
- Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese
A Mobility Calculus with Local and Dependent Types. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:404-444 [Conf]
- Mario Coppo, Mariangiola Dezani-Ciancaglini, Giuseppe Longo
Applicative Information Systems. [Citation Graph (0, 0)][DBLP] CAAP, 1983, pp:35-64 [Conf]
- Mario Coppo, Elio Giovannetti
Completeness Results for a Polymorphic Type System. [Citation Graph (0, 0)][DBLP] CAAP, 1983, pp:179-190 [Conf]
- Mario Coppo, Paola Giannini
A Complete Type Inference Algorithm for Simple Intersection Types. [Citation Graph (0, 0)][DBLP] CAAP, 1992, pp:102-123 [Conf]
- Mario Coppo
Type Inference with Recursive Type Equations. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2001, pp:184-198 [Conf]
- Corrado Böhm, Mario Coppo, Mariangiola Dezani-Ciancaglini
Termination Tests inside lambda-Calculus. [Citation Graph (0, 0)][DBLP] ICALP, 1977, pp:95-110 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] ICALP, 1978, pp:142-164 [Conf]
- Mario Coppo, Mariangiola Dezani-Ciancaglini, Patrick Sallé
Functional Characterization of Some Semantic Equalities inside Lambda-Calculus. [Citation Graph (0, 0)][DBLP] ICALP, 1979, pp:133-146 [Conf]
- Felice Cardone, Mario Coppo
Decidability Properties of Recursive Types. [Citation Graph (0, 0)][DBLP] ICTCS, 2003, pp:242-255 [Conf]
- Mario Coppo, Daniel Hirschkoff
Incremental Inference of Partial Types. [Citation Graph (0, 0)][DBLP] ICTCS, 2001, pp:50-73 [Conf]
- Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese
Dynamic and Local Typing for Mobile Ambients. [Citation Graph (0, 0)][DBLP] IFIP TCS, 2004, pp:577-590 [Conf]
- Mario Coppo, Maddalena Zacchi
Type inference and logical relations [Citation Graph (0, 0)][DBLP] LICS, 1986, pp:218-226 [Conf]
- Mario Coppo
An Extended Polymorphic Type System for Applicative Languages. [Citation Graph (0, 0)][DBLP] MFCS, 1980, pp:194-204 [Conf]
- Stefano Berardi, Mario Coppo, Ferruccio Damiani, Paola Giannini
Type-Based Useless-Code Elimination for Functional Programs. [Citation Graph (0, 0)][DBLP] SAIG, 2000, pp:172-189 [Conf]
- Mario Coppo, Ferruccio Damiani, Paola Giannini
Refinement Types for Program Analysis. [Citation Graph (0, 0)][DBLP] SAS, 1996, pp:143-158 [Conf]
- Mario Coppo, Ferruccio Damiani, Paola Giannini
On Strictness and Totality. [Citation Graph (0, 0)][DBLP] TACS, 1997, pp:138-164 [Conf]
- Mario Coppo, Mariangiola Dezani-Ciancaglini
A Fully Abstract Model for Higher-Order Mobile Ambients. [Citation Graph (0, 0)][DBLP] VMCAI, 2002, pp:255-271 [Conf]
- Mario Coppo
On the Semantics of Polymorphism. [Citation Graph (0, 0)][DBLP] Acta Inf., 1983, v:20, n:, pp:159-170 [Journal]
- Mario Coppo, Mariangiola Dezani-Ciancaglini
A Fully Abstract Model for Mobile Ambients. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
- Mario Coppo, Ferruccio Damiani
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:136, n:, pp:1-2 [Journal]
- Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ivano Salvo
Mobility Types for Mobile Processes in Mobile Ambients. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:78, n:, pp:- [Journal]
- Felice Cardone, Mario Coppo
Type Inference with Recursive Types: Syntax and Semantics [Citation Graph (0, 0)][DBLP] Inf. Comput., 1991, v:92, n:1, pp:48-80 [Journal]
- Mario Coppo, Paola Giannini
Principal Types and Unification for a Simple Intersection Type System [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:122, n:1, pp:70-96 [Journal]
- Mario Coppo, Mariangiola Dezani-Ciancaglini, Maddalena Zacchi
Type Theories, Normal Forms and D_\infty-Lambda-Models [Citation Graph (0, 0)][DBLP] Inf. Comput., 1987, v:72, n:2, pp:85-116 [Journal]
- Henk Barendregt, Mario Coppo, Mariangiola Dezani-Ciancaglini
A Filter Lambda Model and the Completeness of Type Assignment. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1983, v:48, n:4, pp:931-940 [Journal]
- Mario Coppo
Completeness of Type Assignment in Continuous Lambda Models. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1984, v:29, n:, pp:309-324 [Journal]
- Mario Coppo, Ferruccio Damiani, Paola Giannini
Strictness, totality, and non-standard-type inference. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2002, v:272, n:1-2, pp:69-112 [Journal]
- Mario Coppo, Alberto Ferrari
Type Inference, Abstract Interpretation and Strictness Analysis. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1993, v:121, n:1&2, pp:113-143 [Journal]
- Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida
Asynchronous Session Types and Progress for Object Oriented Languages. [Citation Graph (0, 0)][DBLP] FMOODS, 2007, pp:1-31 [Conf]
Global Progress in Dynamically Interleaved Multiparty Sessions. [Citation Graph (, )][DBLP]
Structured Communications with Concurrent Constraints. [Citation Graph (, )][DBLP]
Stochastic Calculus of Wrapped Compartments [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.304secs
|