Eugenio Moggi | Academic Influence

Eugenio Moggi's AcademicInfluence.com Rankings

Eugenio Moggi

Computer Science

#984

Historical Rank

Database

#8074

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Eugenio Moggi's Degrees

PhD Computer Science Consorzio ICoN

Similar Degrees You Can Earn

Best Online PhD of Computer Science (Doctorates) 2026

Why Is Eugenio Moggi Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Eugenio Moggi is a professor of computer science at the University of Genoa, Italy. He first described the general use of monads to structure programs. Biography Academic qualifications:PhD in Computer Science, University of Edinburgh 1988Laurea in Computer Science, University of Pisa 1983Diploma, Scuola Normale Superiore di Pisa 1983

(See a Problem?)

Eugenio Moggi's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Notions of Computation and Monads (1991) (1887)
Computational lambda-calculus and monads (1989) (1090)
Higher-order modules and the phase distinction (1989) (178)
Monads and Effects (2000) (139)
The Klaim Project: Theory and Practice (2003) (121)
Kripke-Style Models for Typed lambda Calculus (1991) (114)
A Fully Abstract Model for the [pi]-calculus (1996) (108)
Constructive natural deduction and its ‘ω-set’ interpretation (1991) (104)
An Idealized MetaML: Simpler, and More Expressive (1999) (100)
The partial lambda calculus (1988) (85)
A category-theoretic account of program modules (1989) (67)
Domains and Denotational Semantics History Accomplishments and Open Problems (1996) (63)
Functorial ML (1996) (54)
The hereditary partial effective functionals and recursion theory in higher types (1984) (52)
ML-Like Inference for Classifiers (2004) (48)
Closed types for a safe imperative MetaML (2003) (47)
Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming (2000) (44)
Logical Modalities and Multi-Stage Programming (1999) (43)
A Modular Approach to Denotational Semantics (1991) (43)
Monadic encapsulation of effects: a revised approach (extended version) (2001) (41)
A Semantics for Evaluation Logic (1995) (39)
Empty types in polymorphic lambda calculus (1987) (36)
An Abstract Monadic Semantics for Value Recursion (2004) (32)
A Monadic Multi-stage Metalanguage (2003) (30)
A categorical account of two-level languages (1997) (30)
Functor Categories and Two-Level Languages (1998) (30)
Metalanguages and Applications (1997) (30)
Monad transformers as monoid transformers (2010) (29)
Categories of Partial Morphisms and the lambdap - Calculus (1985) (28)
Acumen: An Open-Source Testbed for Cyber-Physical Systems Research (2015) (28)
A Category-Theoretic Characterization of Functional Completeness (1990) (24)
Monads, shapely functors, and traversals (1999) (23)
MetaKlaim: a type safe multi-stage language for global computing (2004) (23)
Guardians for Ambient-based Monitoring (2002) (23)
Cartesian Closed Categories of Enumerations for Effective Type Structures (Part I & II) (1984) (22)
A fully-abstract model for the /spl pi/-calculus (1996) (21)
Mixin Modules and Computational Effects (2003) (20)
Partial Morphisms in Categories of Effective Objects (1988) (19)
A Fresh Calculus for Name Management (2004) (14)
Monadic Encapsulation of Effects: a Revised Approach (1999) (14)
Editors' note: bibliometrics and the curators of orthodoxy (2009) (13)
A Categorical Analysis of Multi-Level Languages (Extended Abstract) (1998) (13)
The S-Replete Constuction (1995) (12)
A general semantics for Evaluation Logic (1994) (11)
Category Theory and Computer Science (1997) (10)
Safe & Robust Reachability Analysis of Hybrid Systems (2017) (10)
An Idealized MetaML: Simpler, and More Expressive (includes proofs) (1998) (9)
Gödel Numberings, Principal Morphisms, Combinatory Algebras: A Category-theoretic Characterization of Functional Completeness (1984) (9)
Multi-Stage Imperative Languages: A Conservative Extension Result (2000) (8)
Applied semantics: Selected topics (2005) (8)
Arity polymorphism and dependent types (2000) (5)
Relating Models of Impredicative Type Theories (1991) (5)
Global Types and Network Services (2001) (4)
MetaKlaim: Meta-programming for Global Computing (2001) (4)
System Analysis and Robustness (2019) (4)
Typed Intermediate Languages for Shape Analysis (1997) (4)
A Cumulative Monadic Metalanguage (2004) (3)
Functors, Types and Shapes (1999) (3)
Two-level functional languages, Cambridge tracts in computer science, vol. 34: F. Nielson and H.R. Nielson, (Cambridge University Press, 1992) (1995) (3)
Representing Program Logics in Evaluation Logic (1994) (3)
Special issue: Modalities in type theory (2001) (3)
Robustness, Scott Continuity, and Computability (2022) (2)
Category Theory and Computer Science: 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings (1997) (2)
A Calculus for Symbolic Names Management (2004) (2)
Higher-Order Types and Meta-Programming for Global Computing (2002) (1)
Proceedings of the 7th International Conference on Category Theory and Computer Science (1997) (1)
Sound Over-Approximation of Probabilities (2020) (1)
A Semantic Account of Rigorous Simulation (2018) (1)
Program Generation and Components (2004) (1)
Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming (2004) (0)
Appsem Workshop Program Topic D: Veriication Methods Eugenio Moggi (with F.palumbo): Monadic Encapsulation of Ef- Fects: a Revised Approach Talk Related to Hoots'99 Paper with Same Title (2007) (0)
An Interval Domain for Partial Continuous Maps (2014) (0)
A Semantics for Evaluation Logic (extended version) (1993) (0)
Multi-Stage Imperative Languages : A Conservative Extension (2000) (0)
The EATCS Award 2012 (2013) (0)
Theoretical Computer Science: Proceedings of the 10th Italian Conference on Ictcs '07 (2007) (0)
Structuring Operational Semantics: Simplification and Computation (2007) (0)
MSC volume 23 issue 5 Cover and Back matter (2013) (0)
1 A Category-theoretic characterization of functional completeness ( + ) (0)
Functorial Ml Capsule Review (0)
MSC volume 22 issue 4 Cover and Back matter (2012) (0)
2.3 Impossibility Results for Distributed Agreement 3 Sources of Programming Structures and Their Description 2 Three Examples of Programming Structure the Analysis of Programming Structure (1997) (0)
Theoretical Computer Science, 10th Italian Conference, ICTCS 2007, Rome, Italy, October 3-5, 2007, Proceedings (2007) (0)
MSC volume 21 issue 5 Cover and Back matter (2011) (0)
Logical Modalities and Multi-Stage (1999) (0)
Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy (2004) (0)
Metaklaim: Meta-programming for global computing: Position paper (2001) (0)
Book Reviews (1811) (0)
12th Italian Conference on Theoretical Computer Science, September 15-17, 2010 (2010) (0)
Foreword ICTCS 2010 special issue (2012) (0)
Closed Types as a Simple Approa hto Safe Imperative Multi-Stage ProgrammingCristiano Cal agno (2000) (0)

This paper list is powered by the following services:

Other Resources About Eugenio Moggi

en.wikipedia.org

What Schools Are Affiliated With Eugenio Moggi?

Eugenio Moggi is affiliated with the following schools:

Image Attributions

Image Source for Eugenio Moggi