The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Eugenio Moggi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Eugenio Moggi
    Notions of Computation and Monads [Citation Graph (6, 0)][DBLP]
    Inf. Comput., 1991, v:93, n:1, pp:55-92 [Journal]
  2. Eugenio Moggi
    Computational Lambda-Calculus and Monads [Citation Graph (2, 0)][DBLP]
    LICS, 1989, pp:14-23 [Conf]
  3. Nick Benton, John Hughes, Eugenio Moggi
    Monads and Effects. [Citation Graph (0, 0)][DBLP]
    APPSEM, 2000, pp:42-122 [Conf]
  4. J. M. E. Hyland, Eugenio Moggi
    The S-Replete Constuction. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1995, pp:96-116 [Conf]
  5. Bart Jacobs, Eugenio Moggi, Thomas Streicher
    Relating Models of Impredicative Type Theories. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1991, pp:197-218 [Conf]
  6. Eugenio Moggi
    Categories of Partial Morphisms and the lambdap - Calculus. [Citation Graph (0, 0)][DBLP]
    CTCS, 1985, pp:242-251 [Conf]
  7. Eugenio Moggi
    A Category-theoretic Account of Program Modules. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1989, pp:101-117 [Conf]
  8. Eugenio Moggi
    A Modular Approach to Denotational Semantics. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1991, pp:138-139 [Conf]
  9. Cristiano Calcagno, Eugenio Moggi, Walid Taha
    ML-Like Inference for Classifiers. [Citation Graph (0, 0)][DBLP]
    ESOP, 2004, pp:79-93 [Conf]
  10. Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard
    An Idealized MetaML: Simpler, and More Expressive. [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:193-207 [Conf]
  11. Davide Ancona, Eugenio Moggi
    Program Generation and Components. [Citation Graph (0, 0)][DBLP]
    FMCO, 2004, pp:222-250 [Conf]
  12. Eugenio Moggi
    Functor Categories and Two-Level Languages. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1998, pp:211-225 [Conf]
  13. Eugenio Moggi, Sonia Fagorzi
    A Monadic Multi-stage Metalanguage. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2003, pp:358-374 [Conf]
  14. Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri
    The Klaim Project: Theory and Practice. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2003, pp:88-150 [Conf]
  15. Davide Ancona, Eugenio Moggi
    A Fresh Calculus for Name Management. [Citation Graph (0, 0)][DBLP]
    GPCE, 2004, pp:206-224 [Conf]
  16. Davide Ancona, Sonia Fagorzi, Eugenio Moggi, Elena Zucca
    Mixin Modules and Computational Effects. [Citation Graph (0, 0)][DBLP]
    ICALP, 2003, pp:224-238 [Conf]
  17. Cristiano Calcagno, Eugenio Moggi, Walid Taha
    Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming. [Citation Graph (0, 0)][DBLP]
    ICALP, 2000, pp:25-36 [Conf]
  18. Marcelo P. Fiore, Eugenio Moggi, Davide Sangiorgi
    A Fully-Abstract Model for the pi-Calculus (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    LICS, 1996, pp:43-54 [Conf]
  19. John C. Mitchell, Eugenio Moggi
    Kripke-Style models for typed lambda calculus [Citation Graph (0, 0)][DBLP]
    LICS, 1987, pp:303-314 [Conf]
  20. Eugenio Moggi
    A General Semantics for Evaluation Logic [Citation Graph (0, 0)][DBLP]
    LICS, 1994, pp:353-362 [Conf]
  21. Giuseppe Longo, Eugenio Moggi
    Gödel Numberings, Principal Morphisms, Combinatory Algebras: A Category-theoretic Characterization of Functional Completeness. [Citation Graph (0, 0)][DBLP]
    MFCS, 1984, pp:397-406 [Conf]
  22. Gianna Bellè, C. Barry Jay, Eugenio Moggi
    Functorial ML. [Citation Graph (0, 0)][DBLP]
    PLILP, 1996, pp:32-46 [Conf]
  23. Robert Harper, John C. Mitchell, Eugenio Moggi
    Higher-Order Modules and the Phase Distinction. [Citation Graph (0, 0)][DBLP]
    POPL, 1990, pp:341-354 [Conf]
  24. Albert R. Meyer, John C. Mitchell, Eugenio Moggi, Richard Statman
    Empty Types in Polymorphic Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:253-262 [Conf]
  25. Cristiano Calcagno, Eugenio Moggi
    Multi-Stage Imperative Languages: A Conservative Extension Result. [Citation Graph (0, 0)][DBLP]
    SAIG, 2000, pp:92-107 [Conf]
  26. Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
    MetaKlaim: Meta-programming for Global Computing. [Citation Graph (0, 0)][DBLP]
    SAIG, 2001, pp:183-198 [Conf]
  27. Giuseppe Longo, Eugenio Moggi
    Cartesian Closed Categories of Enumerations for Effective Type Structures (Part I & II). [Citation Graph (0, 0)][DBLP]
    Semantics of Data Types, 1984, pp:235-255 [Conf]
  28. Gianna Bellè, Eugenio Moggi
    Typed Intermediate Languages for Shape Analysis. [Citation Graph (0, 0)][DBLP]
    TLCA, 1997, pp:11-29 [Conf]
  29. John C. Mitchell, Eugenio Moggi
    Kripke-Style Models for Typed lambda Calculus. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1991, v:51, n:1-2, pp:99-124 [Journal]
  30. Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
    Higher-Order Types and Meta-Programming for Global Computing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
  31. Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
    Global Types and Network Services. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:54, n:, pp:- [Journal]
  32. Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
    Guardians for Ambient-based Monitoring. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:66, n:3, pp:- [Journal]
  33. Eugenio Moggi
    A categorical account of two-level languages. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:6, n:, pp:- [Journal]
  34. Eugenio Moggi, F. Palumbo
    Monadic Encapsulation of Effects: a Revised Approach. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:26, n:, pp:- [Journal]
  35. Eugenio Moggi
    Structuring Operational Semantics: Simplification and Computation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:479-497 [Journal]
  36. Eugenio Moggi
    A Semantics for Evaluation Logic. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1995, v:22, n:1/2, pp:117-152 [Journal]
  37. Marcelo P. Fiore, Eugenio Moggi, Davide Sangiorgi
    A Fully Abstract Model for the [pi]-calculus. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:179, n:1, pp:76-117 [Journal]
  38. Eugenio Moggi
    Partial Morphisms in Categories of Effective Objects [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1988, v:76, n:2/3, pp:250-277 [Journal]
  39. Cristiano Calcagno, Eugenio Moggi, Tim Sheard
    Closed types for a safe imperative MetaML. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2003, v:13, n:3, pp:545-571 [Journal]
  40. C. Barry Jay, Gianna Bellè, Eugenio Moggi
    Functorial ML. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1998, v:8, n:6, pp:573-619 [Journal]
  41. Eugenio Moggi, Amr Sabry
    Monadic encapsulation of effects: a revised approach (extended version). [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2001, v:11, n:6, pp:591-627 [Journal]
  42. Giuseppe Longo, Eugenio Moggi
    The Hereditary Partial Effective Functionals and Recursion Theory in Higher Types. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:4, pp:1319-1332 [Journal]
  43. Matt Fairtlough, Michael Mendler, Eugenio Moggi
    Special issue: Modalities in type theory. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2001, v:11, n:4, pp:507-509 [Journal]
  44. Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
    MetaKlaim: a type safe multi-stage language for global computing. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2004, v:14, n:3, pp:367-395 [Journal]
  45. Giuseppe Longo, Eugenio Moggi
    Constructive Natural Deduction and its `Omega-Set' Interpretation. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1991, v:1, n:2, pp:215-254 [Journal]
  46. Eugenio Moggi
    A Cateogry-Theoretic Account of Program Modules. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1991, v:1, n:1, pp:103-139 [Journal]
  47. Giuseppe Longo, Eugenio Moggi
    A Category-Theoretic Characterization of Functional Completeness. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:70, n:2, pp:193-211 [Journal]
  48. Eugenio Moggi
    Applied semantics: Selected topics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:342, n:1, pp:1-2 [Journal]
  49. Eugenio Moggi, Gianna Bellè, C. Barry Jay
    Monads, shapely functors, and traversals. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]

Search in 0.007secs, Finished in 0.286secs
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