Search the dblp DataBase
Eugenio Moggi :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Eugenio Moggi Notions of Computation and Monads [Citation Graph (6, 0)][DBLP ] Inf. Comput., 1991, v:93, n:1, pp:55-92 [Journal ] Eugenio Moggi Computational Lambda-Calculus and Monads [Citation Graph (2, 0)][DBLP ] LICS, 1989, pp:14-23 [Conf ] Nick Benton , John Hughes , Eugenio Moggi Monads and Effects. [Citation Graph (0, 0)][DBLP ] APPSEM, 2000, pp:42-122 [Conf ] 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 ] 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 ] Eugenio Moggi Categories of Partial Morphisms and the lambdap - Calculus. [Citation Graph (0, 0)][DBLP ] CTCS, 1985, pp:242-251 [Conf ] Eugenio Moggi A Category-theoretic Account of Program Modules. [Citation Graph (0, 0)][DBLP ] Category Theory and Computer Science, 1989, pp:101-117 [Conf ] Eugenio Moggi A Modular Approach to Denotational Semantics. [Citation Graph (0, 0)][DBLP ] Category Theory and Computer Science, 1991, pp:138-139 [Conf ] Cristiano Calcagno , Eugenio Moggi , Walid Taha ML-Like Inference for Classifiers. [Citation Graph (0, 0)][DBLP ] ESOP, 2004, pp:79-93 [Conf ] 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 ] Davide Ancona , Eugenio Moggi Program Generation and Components. [Citation Graph (0, 0)][DBLP ] FMCO, 2004, pp:222-250 [Conf ] Eugenio Moggi Functor Categories and Two-Level Languages. [Citation Graph (0, 0)][DBLP ] FoSSaCS, 1998, pp:211-225 [Conf ] Eugenio Moggi , Sonia Fagorzi A Monadic Multi-stage Metalanguage. [Citation Graph (0, 0)][DBLP ] FoSSaCS, 2003, pp:358-374 [Conf ] 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 ] Davide Ancona , Eugenio Moggi A Fresh Calculus for Name Management. [Citation Graph (0, 0)][DBLP ] GPCE, 2004, pp:206-224 [Conf ] Davide Ancona , Sonia Fagorzi , Eugenio Moggi , Elena Zucca Mixin Modules and Computational Effects. [Citation Graph (0, 0)][DBLP ] ICALP, 2003, pp:224-238 [Conf ] 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 ] 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 ] John C. Mitchell , Eugenio Moggi Kripke-Style models for typed lambda calculus [Citation Graph (0, 0)][DBLP ] LICS, 1987, pp:303-314 [Conf ] Eugenio Moggi A General Semantics for Evaluation Logic [Citation Graph (0, 0)][DBLP ] LICS, 1994, pp:353-362 [Conf ] 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 ] Gianna Bellè , C. Barry Jay , Eugenio Moggi Functorial ML. [Citation Graph (0, 0)][DBLP ] PLILP, 1996, pp:32-46 [Conf ] 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 ] 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 ] Cristiano Calcagno , Eugenio Moggi Multi-Stage Imperative Languages: A Conservative Extension Result. [Citation Graph (0, 0)][DBLP ] SAIG, 2000, pp:92-107 [Conf ] Gian Luigi Ferrari , Eugenio Moggi , Rosario Pugliese MetaKlaim: Meta-programming for Global Computing. [Citation Graph (0, 0)][DBLP ] SAIG, 2001, pp:183-198 [Conf ] 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 ] Gianna Bellè , Eugenio Moggi Typed Intermediate Languages for Shape Analysis. [Citation Graph (0, 0)][DBLP ] TLCA, 1997, pp:11-29 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Eugenio Moggi A Semantics for Evaluation Logic. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1995, v:22, n:1/2, pp:117-152 [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Eugenio Moggi Applied semantics: Selected topics. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2005, v:342, n:1, pp:1-2 [Journal ] 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