Gödel Numberings, Principal Morphisms, Combinatory Algebras: A Category-theoretic Characterization of Functional Completeness. - Giuseppe Longo; Eugenio Moggi (MFCS, 1984)

Cartesian Closed Categories of Enumerations for Effective Type Structures (Part I & II). - Giuseppe Longo; Eugenio Moggi (Semantics of Data Types, 1984)

The Hereditary Partial Effective Functionals and Recursion Theory in Higher Types. - Giuseppe Longo; Eugenio Moggi (J. Symb. Log., 1984)

Categories of Partial Morphisms and the lambdap - Calculus. - Eugenio Moggi (CTCS, 1985)

Empty Types in Polymorphic Lambda Calculus. - Albert R. Meyer; John C. Mitchell; Eugenio Moggi; Richard Statman (POPL, 1987)

Partial Morphisms in Categories of Effective Objects - Eugenio Moggi (Inf. Comput., 1988)

Te partial lamdba calculus - Eugenio Moggi (1988)

A Category-theoretic Account of Program Modules. - Eugenio Moggi (Category Theory and Computer Science, 1989)

Computational Lambda-Calculus and Monads - Eugenio Moggi (LICS, 1989)

Higher-Order Modules and the Phase Distinction. - Robert Harper 001; John C. Mitchell; Eugenio Moggi (POPL, 1990)

A Category-Theoretic Characterization of Functional Completeness. - Giuseppe Longo; Eugenio Moggi (Theor. Comput. Sci., 1990)

Relating Models of Impredicative Type Theories. - Bart Jacobs 001; Eugenio Moggi; Thomas Streicher (Category Theory and Computer Science, 1991)

A Modular Approach to Denotational Semantics. - Eugenio Moggi (Category Theory and Computer Science, 1991)

Kripke-Style Models for Typed lambda Calculus. - John C. Mitchell; Eugenio Moggi (Ann. Pure Appl. Log., 1991)

Constructive Natural Deduction and its 'Omega-Set' Interpretation. - Giuseppe Longo; Eugenio Moggi (Math. Struct. Comput. Sci., 1991)

A Cateogry-Theoretic Account of Program Modules. - Eugenio Moggi (Math. Struct. Comput. Sci., 1991)

Notions of Computation and Monads - Eugenio Moggi (Inf. Comput., 1991)

A General Semantics for Evaluation Logic - Eugenio Moggi (LICS, 1994)

The S-Replete Constuction. - J. M. E. Hyland; Eugenio Moggi (Category Theory and Computer Science, 1995)

A Semantics for Evaluation Logic. - Eugenio Moggi (Fundam. Informaticae, 1995)

A Fully-Abstract Model for the pi-Calculus (Extended Abstract). - Marcelo P. Fiore; Eugenio Moggi; Davide Sangiorgi (LICS, 1996)

Typed Intermediate Languages for Shape Analysis. - Gianna Bellè; Eugenio Moggi (TLCA, 1997)

A categorical account of two-level languages. - Eugenio Moggi (MFPS, 1997)

Functor Categories and Two-Level Languages. - Eugenio Moggi (FoSSaCS, 1998)

Functorial ML. - C. Barry Jay; Gianna Bellè; Eugenio Moggi (J. Funct. Program., 1998)

An Idealized MetaML: Simpler, and More Expressive. - Eugenio Moggi; Walid Taha; Zine-El-Abidine Benaissa; Tim Sheard (ESOP, 1999)

Monadic Encapsulation of Effects: a Revised Approach. - Eugenio Moggi; Fabrizio Palumbo (HOOTS, 1999)

Monads, shapely functors, and traversals. - Eugenio Moggi; Gianna Bellè; C. Barry Jay (CTCS, 1999)

Monads and Effects. - Nick Benton; John Hughes 001; Eugenio Moggi (APPSEM, 2000)

Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming. - Cristiano Calcagno; Eugenio Moggi; Walid Taha (ICALP, 2000)

Multi-Stage Imperative Languages: A Conservative Extension Result. - Cristiano Calcagno; Eugenio Moggi (SAIG, 2000)

MetaKlaim: Meta-programming for Global Computing. - Gian-Luigi Ferrari 002; Eugenio Moggi; Rosario Pugliese (SAIG, 2001)

Higher-Order Types and Meta-Programming for Global Computing. - Gian-Luigi Ferrari 002; Eugenio Moggi; Rosario Pugliese (TOSCA, 2001)

Global Types and Network Services. - Gian-Luigi Ferrari 002; Eugenio Moggi; Rosario Pugliese (ConCoord, 2001)

Monadic encapsulation of effects: a revised approach (extended version). - Eugenio Moggi; Amr Sabry (J. Funct. Program., 2001)

Special issue: Modalities in type theory. - Matt Fairtlough; Michael Mendler; Eugenio Moggi (Math. Struct. Comput. Sci., 2001)

Guardians for Ambient-based Monitoring. - Gian-Luigi Ferrari 002; Eugenio Moggi; Rosario Pugliese (F-WAN@ICALP, 2002)

A Fully Abstract Model for the [pi]-calculus. - Marcelo P. Fiore; Eugenio Moggi; Davide Sangiorgi (Inf. Comput., 2002)

A Monadic Multi-stage Metalanguage. - Eugenio Moggi; Sonia Fagorzi (FoSSaCS, 2003)

The Klaim Project: Theory and Practice. - Lorenzo Bettini; Viviana Bono; Rocco De Nicola; Gian-Luigi Ferrari 002; Daniele Gorla; Michele Loreti; Eugenio Moggi; Rosario Pugliese; Emilio Tuosto; Betti Venneri (Global Computing, 2003)

Mixin Modules and Computational Effects. - Davide Ancona; Sonia Fagorzi; Eugenio Moggi; Elena Zucca (ICALP, 2003)

Closed types for a safe imperative MetaML. - Cristiano Calcagno; Eugenio Moggi; Tim Sheard (J. Funct. Program., 2003)

ML-Like Inference for Classifiers. - Cristiano Calcagno; Eugenio Moggi; Walid Taha (ESOP, 2004)

Program Generation and Components. - Davide Ancona; Eugenio Moggi (FMCO, 2004)

A Fresh Calculus for Name Management. - Davide Ancona; Eugenio Moggi (GPCE, 2004)

An abstract monadic semantics for value recursion. - Eugenio Moggi; Amr Sabry (RAIRO Theor. Informatics Appl., 2004)

MetaKlaim: a type safe multi-stage language for global computing. - Gian-Luigi Ferrari 002; Eugenio Moggi; Rosario Pugliese (Math. Struct. Comput. Sci., 2004)

Applied semantics: Selected topics. - Eugenio Moggi (Theor. Comput. Sci., 2005)

Structuring Operational Semantics: Simplification and Computation. - Eugenio Moggi (Computation, Meaning, and Logic, 2007)

Monad Transformers as Monoid Transformers. - Eugenio Moggi (ICTCS, 2009)

Monad transformers as monoid transformers. - Mauro Jaskelioff; Eugenio Moggi (Theor. Comput. Sci., 2010)

Foreword ICTCS 2010 special issue. - Eugenio Moggi (RAIRO Theor. Informatics Appl., 2012)

Acumen: An Open-Source Testbed for Cyber-Physical Systems Research. - Walid Taha; Adam Duracz; Yingfu Zeng; Kevin Atkinson; Ferenc A. Bartha; Paul Brauner; Jan Duracz; Fei Xu; Robert Cartwright; Michal Konecný; Eugenio Moggi; Jawad Masood; et al. (IoT 360 (1), 2015)

A Semantic Account of Rigorous Simulation. - Adam Duracz; Eugenio Moggi; Walid Taha; Zhenchao Lin (Principles of Modeling, 2018)

Safe & robust reachability analysis of hybrid systems. - Eugenio Moggi; Amin Farjudian; Adam Duracz; Walid Taha (Theor. Comput. Sci., 2018)

System Analysis and Robustness. - Eugenio Moggi; Amin Farjudian; Walid Taha (ICTCS, 2019)

Sound Over-Approximation of Probabilities. - Eugenio Moggi; Walid Taha; Johan Thunberg (Acta Cybern., 2020)

Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad. - Francesco Dagnino; Amin Farjudian; Eugenio Moggi (ICTAC, 2023)

Robustness, Scott continuity, and computability. - Amin Farjudian; Eugenio Moggi (Math. Struct. Comput. Sci., 2023)

Robust Topology and the Hausdorff-Smyth Monad on Metric Spaces over Continuous Quantales. - Francesco Dagnino; Amin Farjudian; Eugenio Moggi (CoRR, 2025)