Travelled to:1 × Italy
1 × Poland
1 × Portugal
1 × Spain
1 × Switzerland
2 × Canada
2 × France
2 × Germany
2 × The Netherlands
4 × USA
Collaborated with:∅ C.Calcagno J.C.Mitchell W.Taha G.Bellè D.Ancona S.Fagorzi G.L.Ferrari R.Pugliese M.P.Fiore D.Sangiorgi C.B.Jay R.Harper E.Zucca Z.Benaissa T.Sheard A.R.Meyer R.Statman
Talks about:calculus (5) type (4) languag (3) comput (3) stage (3) multi (3) meta (3) ml (3) program (2) monad (2)
Person: Eugenio Moggi
DBLP: Moggi:Eugenio
Facilitated 1 volumes:
EdContributed to:
2004
2004
2003
200320012000200019991998
1997
199619961994
1990198919871987Wrote 17 papers:
- ESOP-2004-CalcagnoMT #classification
- ML-Like Inference for Classifiers (CC, EM, WT), pp. 79–93.
- GPCE-2004-AnconaM #calculus
- A Fresh Calculus for Name Management (DA, EM), pp. 206–224.
- FoSSaCS-2003-MoggiF #metalanguage #monad #multi
- A Monadic Multi-stage Metalanguage (EM, SF), pp. 358–374.
- ICALP-2003-AnconaFMZ #mixin
- Mixin Modules and Computational Effects (DA, SF, EM, EZ), pp. 224–238.
- SAIG-2001-FerrariMP #metaprogramming #named
- MetaKlaim: Meta-programming for Global Computing (GLF, EM, RP), pp. 183–198.
- ICALP-2000-CalcagnoMT #approach #imperative #multi #programming
- Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming (CC, EM, WT), pp. 25–36.
- SAIG-2000-CalcagnoM #imperative #multi
- Multi-Stage Imperative Languages: A Conservative Extension Result (CC, EM), pp. 92–107.
- ESOP-1999-MoggiTBS #ml
- An Idealized MetaML: Simpler, and More Expressive (EM, WT, ZEAB, TS), pp. 193–207.
- FoSSaCS-1998-Moggi #category theory
- Functor Categories and Two-Level Languages (EM), pp. 211–225.
- TLCA-1997-BelleM #analysis
- Typed Intermediate Languages for Shape Analysis (GB, EM), pp. 11–29.
- LICS-1996-FioreMS #π-calculus
- A Fully-Abstract Model for the π-Calculus (MPF, EM, DS), pp. 43–54.
- PLILP-1996-BelleJM #ml
- Functorial ML (GB, CBJ, EM), pp. 32–46.
- LICS-1994-Moggi #evaluation #logic #semantics
- A General Semantics for Evaluation Logic (EM), pp. 353–362.
- POPL-1990-HarperMM #higher-order
- Higher-Order Modules and the Phase Distinction (RH, JCM, EM), pp. 341–354.
- LICS-1989-Moggi #monad #λ-calculus
- Computational λ-Calculus and Monads (EM), pp. 14–23.
- LICS-1987-MitchellM #modelling #λ-calculus
- Kripke-Style models for typed λ calculus (JCM, EM), pp. 303–314.
- POPL-1987-MeyerMMS #polymorphism #λ-calculus
- Empty Types in Polymorphic λ Calculus (ARM, JCM, EM, RS), pp. 253–262.