 | 2007 |
|---|
| 53 |       | 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 |
| 52 |  | Eugenio Moggi:
Structuring Operational Semantics: Simplification and Computation.
Electr. Notes Theor. Comput. Sci. 172: 479-497 (2007) |
| 2005 |
|---|
| 51 | | Eugenio Moggi:
Applied semantics: Selected topics.
Theor. Comput. Sci. 342(1): 1-2 (2005) |
| 2004 |
|---|
| 50 | | 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 |
| 49 | | Cristiano Calcagno,
Eugenio Moggi,
Walid Taha:
ML-Like Inference for Classifiers.
ESOP 2004: 79-93 |
| 48 | | Davide Ancona,
Eugenio Moggi:
Program Generation and Components.
FMCO 2004: 222-250 |
| 47 | | Davide Ancona,
Eugenio Moggi:
A Fresh Calculus for Name Management.
GPCE 2004: 206-224 |
| 46 | | Eugenio Moggi,
Amr Sabry:
An abstract monadic semantics for value recursion.
ITA 38(4): 375-400 (2004) |
| 45 | | 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 | | Eugenio Moggi,
Sonia Fagorzi:
A Monadic Multi-stage Metalanguage.
FoSSaCS 2003: 358-374 |
| 43 | | 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 | | Davide Ancona,
Sonia Fagorzi,
Eugenio Moggi,
Elena Zucca:
Mixin Modules and Computational Effects.
ICALP 2003: 224-238 |
| 41 | | Cristiano Calcagno,
Eugenio Moggi,
Tim Sheard:
Closed types for a safe imperative MetaML.
J. Funct. Program. 13(3): 545-571 (2003) |
| 2002 |
|---|
| 40 | | Gian Luigi Ferrari,
Eugenio Moggi,
Rosario Pugliese:
Guardians for Ambient-based Monitoring.
Electr. Notes Theor. Comput. Sci. 66(3): (2002) |
| 39 | | Marcelo P. Fiore,
Eugenio Moggi,
Davide Sangiorgi:
A Fully Abstract Model for the [pi]-calculus.
Inf. Comput. 179(1): 76-117 (2002) |
| 2001 |
|---|
| 38 | | Gian Luigi Ferrari,
Eugenio Moggi,
Rosario Pugliese:
MetaKlaim: Meta-programming for Global Computing.
SAIG 2001: 183-198 |
| 37 | | Gian Luigi Ferrari,
Eugenio Moggi,
Rosario Pugliese:
Global Types and Network Services.
Electr. Notes Theor. Comput. Sci. 54: (2001) |
| 36 | | 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 | | Nick Benton,
John Hughes,
Eugenio Moggi:
Monads and Effects.
APPSEM 2000: 42-122 |
| 32 | | Cristiano Calcagno,
Eugenio Moggi,
Walid Taha:
Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming.
ICALP 2000: 25-36 |
| 31 | | Cristiano Calcagno,
Eugenio Moggi:
Multi-Stage Imperative Languages: A Conservative Extension Result.
SAIG 2000: 92-107 |
| 1999 |
|---|
| 30 | | Eugenio Moggi,
Walid Taha,
Zine-El-Abidine Benaissa,
Tim Sheard:
An Idealized MetaML: Simpler, and More Expressive.
ESOP 1999: 193-207 |
| 29 | | Eugenio Moggi,
F. Palumbo:
Monadic Encapsulation of Effects: a Revised Approach.
Electr. Notes Theor. Comput. Sci. 26: (1999) |
| 28 | | Eugenio Moggi,
Gianna Bellè,
C. Barry Jay:
Monads, shapely functors, and traversals.
Electr. Notes Theor. Comput. Sci. 29: (1999) |
| 1998 |
|---|
| 27 | | 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 | | 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) |
