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