The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mario Coppo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mario Coppo
    A Completeness Theorem for Recursively Defined Types. [Citation Graph (1, 0)][DBLP]
    ICALP, 1985, pp:120-129 [Conf]
  2. 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]
  3. Mario Coppo, Mariangiola Dezani-Ciancaglini, Giuseppe Longo
    Applicative Information Systems. [Citation Graph (0, 0)][DBLP]
    CAAP, 1983, pp:35-64 [Conf]
  4. Mario Coppo, Elio Giovannetti
    Completeness Results for a Polymorphic Type System. [Citation Graph (0, 0)][DBLP]
    CAAP, 1983, pp:179-190 [Conf]
  5. Mario Coppo, Paola Giannini
    A Complete Type Inference Algorithm for Simple Intersection Types. [Citation Graph (0, 0)][DBLP]
    CAAP, 1992, pp:102-123 [Conf]
  6. Mario Coppo
    Type Inference with Recursive Type Equations. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2001, pp:184-198 [Conf]
  7. Corrado Böhm, Mario Coppo, Mariangiola Dezani-Ciancaglini
    Termination Tests inside lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    ICALP, 1977, pp:95-110 [Conf]
  8. 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]
  9. 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]
  10. Felice Cardone, Mario Coppo
    Decidability Properties of Recursive Types. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:242-255 [Conf]
  11. Mario Coppo, Daniel Hirschkoff
    Incremental Inference of Partial Types. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2001, pp:50-73 [Conf]
  12. 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]
  13. Mario Coppo, Maddalena Zacchi
    Type inference and logical relations [Citation Graph (0, 0)][DBLP]
    LICS, 1986, pp:218-226 [Conf]
  14. Mario Coppo
    An Extended Polymorphic Type System for Applicative Languages. [Citation Graph (0, 0)][DBLP]
    MFCS, 1980, pp:194-204 [Conf]
  15. 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]
  16. Mario Coppo, Ferruccio Damiani, Paola Giannini
    Refinement Types for Program Analysis. [Citation Graph (0, 0)][DBLP]
    SAS, 1996, pp:143-158 [Conf]
  17. Mario Coppo, Ferruccio Damiani, Paola Giannini
    On Strictness and Totality. [Citation Graph (0, 0)][DBLP]
    TACS, 1997, pp:138-164 [Conf]
  18. 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]
  19. Mario Coppo
    On the Semantics of Polymorphism. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1983, v:20, n:, pp:159-170 [Journal]
  20. 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]
  21. Mario Coppo, Ferruccio Damiani
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:136, n:, pp:1-2 [Journal]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]

  31. Global Progress in Dynamically Interleaved Multiparty Sessions. [Citation Graph (, )][DBLP]


  32. Structured Communications with Concurrent Constraints. [Citation Graph (, )][DBLP]


  33. Stochastic Calculus of Wrapped Compartments [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002