| 2023 | ICTAC | Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad. | Francesco Dagnino, Amin Farjudian, Eugenio Moggi |
| 2004 | ESOP | ML-Like Inference for Classifiers. | Cristiano Calcagno, Eugenio Moggi, Walid Taha |
| 2004 | GPCE | A Fresh Calculus for Name Management. | Davide Ancona, Eugenio Moggi |
| 2003 | FOSSACS | A Monadic Multi-stage Metalanguage. | Eugenio Moggi, Sonia Fagorzi |
| 2003 | ICALP | Mixin Modules and Computational Effects. | Davide Ancona, Sonia Fagorzi, Eugenio Moggi, Elena Zucca |
| 2000 | ICALP | Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming. | Cristiano Calcagno, Eugenio Moggi, Walid Taha |
| 1999 | ESOP | An Idealized MetaML: Simpler, and More Expressive. | Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard |
| 1998 | FOSSACS | Functor Categories and Two-Level Languages. | Eugenio Moggi |
| 1996 | LICS | A Fully-Abstract Model for the pi-Calculus (Extended Abstract). | Marcelo P. Fiore, Eugenio Moggi, Davide Sangiorgi |
| 1994 | LICS | A General Semantics for Evaluation Logic | Eugenio Moggi |
| 1990 | POPL | Higher-Order Modules and the Phase Distinction. | Robert Harper, John C. Mitchell, Eugenio Moggi |
| 1989 | LICS | Computational Lambda-Calculus and Monads | Eugenio Moggi |
| 1987 | LICS | Kripke-Style models for typed lambda calculus | John C. Mitchell, Eugenio Moggi |
| 1987 | POPL | Empty Types in Polymorphic Lambda Calculus. | Albert R. Meyer, John C. Mitchell, Eugenio Moggi, Richard Statman |
| 1984 | MFCS | Gdel Numberings, Principal Morphisms, Combinatory Algebras: A Category-theoretic Characterization of Functional Completeness. | Giuseppe Longo, Eugenio Moggi |