BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Moggi:Eugenio

Facilitated 1 volumes:

PPDP 2004Ed

Contributed to:

ESOP 20042004
GPCE 20042004
FoSSaCS 20032003
ICALP 20032003
SAIG 20012001
ICALP 20002000
SAIG 20002000
ESOP 19991999
FoSSaCS 19981998
TLCA 19971997
LICS 19961996
PLILP 19961996
LICS 19941994
POPL 19901990
LICS 19891989
LICS 19871987
POPL 19871987

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.