Eugenio Moggi

Cited by

	All	Since 2019
Citations	7179	1295
h-index	33	12
i10-index	49	15

300

150

225

1990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202474 102 82 116 124 145 169 195 181 227 184 204 214 251 270 272 291 263 235 266 238 194 195 213 221 187 164 233 206 240 205 184 198 251 217

Public access

View all

4 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Walid TahaHalmstad UniversityVerified email at hh.se
John C MitchellProfessor of Computer Science, Stanford UniversityVerified email at Stanford.edu
Tim SheardIOHK and Professor Emeritus Portland State UniversityVerified email at pdx.edu
Rosario PuglieseProfessor of Computer Science, University of FlorenceVerified email at unifi.it
Barry JayUniversity of Technology SydneyVerified email at uts.edu.au
Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceVerified email at cl.cam.ac.uk
Giuseppe RosoliniProfessor of Mathematical Logic, Università degli Studi di GenovaVerified email at unige.it
Nick BentonEngineering Manager, FacebookVerified email at fb.com
Prof. Michele LoretiSchool of Science and Technology, University of CamerinoVerified email at unicam.it
Daniele GorlaVerified email at di.uniroma1.it
Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityVerified email at andrew.cmu.edu
Adam DuraczSystecon ABVerified email at duracz.net
Davide AnconaGenovaVerified email at unige.it
Amr SabryProfessor of Computer Science, Indiana UniversityVerified email at indiana.edu
Davide SangiorgiProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
John HughesProfessor of Computer Science and Engineering, Chalmers UniversityVerified email at chalmers.se
Amin FarjudianUniversity of Birmingham (United Kingdom)Verified email at bham.ac.uk
Emilio TuostoGran Sasso Science InstituteVerified email at gssi.it
Rocco De NicolaProfessor of Computer Science, IMT LuccaVerified email at imtlucca.it
Viviana BonoUniversita` di TorinoVerified email at di.unito.it

Eugenio Moggi

Professor of Computer Science, Genova University

Verified email at unige.it - Homepage

Theoretical Computer Science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Notions of computation and monads E Moggi Information and computation 93 (1), 55-92, 1991	2520	1991
Computational lambda-calculus and monads E Moggi Logic in Computer Science, 1989	1461	1989
An abstract view of programming languages E Moggi University of Edinburgh. Department of Computer Science. Laboratory for …, 1990	253	1990
Higher-order modules and the phase distinction R Harper, JC Mitchell, E Moggi Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989	227	1989
Constructive natural deduction and its ‘ω-set’interpretation G Longo, E Moggi Mathematical Structures in Computer Science 1 (2), 215-254, 1991	199	1991
An abstract view of programming languages E Moggi University of Edinburgh, Department of Computer Science, Laboratory for …, 1989	185	1989
Kripke-style models for typed lambda calculus JC Mitchell, E Moggi Annals of pure and applied logic 51 (1-2), 99-124, 1991	173	1991
A fully abstract model for the π-calculus MP Fiore, E Moggi, D Sangiorgi Information and Computation 179 (1), 76-117, 2002	165	2002
Monads and effects N Benton, J Hughes, E Moggi International Summer School on Applied Semantics, 42-122, 2000	163	2000
The klaim project: Theory and practice L Bettini, V Bono, R De Nicola, G Ferrari, D Gorla, M Loreti, E Moggi, ... Global Computing. Programming Environments, Languages, Security, and …, 2003	153	2003
The partial lambda calculus E Moggi University of Edinburgh. College of Science and Engineering. School of …, 1988	111	1988
An idealized MetaML: Simpler, and more expressive E Moggi, W Taha, ZEA Benaissa, T Sheard European Symposium on Programming, 193-207, 1999	101*	1999
A syntactic approach to modularity in denotational semantics P Cenciarelli, E Moggi CTCS 1993, 1993	89	1993
Domains and denotational semantics: History, accomplishments and open problems A Jung, M Fiore, E Moggi, PW O’Hearn, JG Riecke, G Rosolini, I Stark School of Computer Science Research Reports-University of BIRMINGHAM CSR, 1996	75	1996
A category-theoretic account of program modules E Moggi Mathematical Structures in Computer Science 1 (1), 103-139, 1991	63	1991
Categories of partial morphisms and the λ_P-calculus E Moggi Category Theory and Computer Programming: Tutorial and Workshop, Guildford …, 1986	61	1986
Monadic encapsulation of effects: A revised approach (extended version) E Moggi, A Sabry Journal of Functional Programming 11 (6), 591-627, 2001	60*	2001
The hereditary partial effective functionals and recursion theory in higher types1 G Longo, E Moggi The Journal of Symbolic Logic 49 (4), 1319-1332, 1984	59	1984
Functorial ml CB Jay, G Belle, E Moggi Journal of functional programming 8 (6), 573-619, 1998	57	1998
ML-like inference for classifiers C Calcagno, E Moggi, W Taha Programming Languages and Systems: 13th European Symposium on Programming …, 2004	53	2004

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors