Eugenio Moggi

Cited by

	All	Since 2017
Citations	6606	1171
h-index	32	13
i10-index	47	15

320

160

240

1988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202221 16 66 88 80 112 123 141 159 195 185 236 193 207 207 248 252 257 302 256 224 268 252 212 202 223 214 186 173 229 202 241 201 186 112

Public access

View all

3 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
Rosario PuglieseProfessor of Computer Science, University of FlorenceVerified email at unifi.it
Nick BentonEngineering Manager, FacebookVerified email at fb.com
Prof. Michele LoretiSchool of Science and Technology, University of CamerinoVerified email at unicam.it
Giuseppe RosoliniProfessor of Mathematical Logic, Università degli Studi di GenovaVerified email at unige.it
Davide AnconaGenovaVerified email at unige.it
Amr SabryProfessor of Computer Science, Indiana UniversityVerified email at indiana.edu
Adam DuraczSystecon ABVerified email at duracz.net
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
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
Lorenzo BettiniAssociate Professor in Computer Science, Dipartimento di Statistica, Informatica e ApplicazioniVerified email at unifi.it
Achim JungProfessor of Computer Science, University of Birmingham, UKVerified email at cs.bham.ac.uk
Peter O'HearnLacework and University College LondonVerified email at ucl.ac.uk
Jon RieckeGoogle Inc.Verified email at google.com
Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at ed.ac.uk
Mauro JaskelioffCIFASIS/CONICET - Universidad Nacional de RosarioVerified email at fceia.unr.edu.ar

Eugenio Moggi

Professor of Computer Science, Genova University

Verified email at unige.it - Homepage


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	2252	1991
Computational lambda-calculus and monads E Moggi Logic in Computer Science, 1989	1320	1989
An abstract view of programming languages E Moggi University of Edinburgh. Department of Computer Science. Laboratory for …, 1990	246	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	215	1989
Constructive natural deduction and its ‘ω-set’interpretation G Longo, E Moggi Mathematical Structures in Computer Science 1 (2), 215-254, 1991	185	1991
An abstract view of programming languages E Moggi University of Edinburgh, Department of Computer Science, Laboratory for …, 1989	178	1989
A fully abstract model for the π-calculus MP Fiore, E Moggi, D Sangiorgi Information and Computation 179 (1), 76-117, 2002	163	2002
Monads and effects N Benton, J Hughes, E Moggi International Summer School on Applied Semantics, 42-122, 2000	158	2000
Kripke-style models for typed lambda calculus JC Mitchell, E Moggi Annals of pure and applied logic 51 (1-2), 99-124, 1991	149	1991
The klaim project: Theory and practice L Bettini, V Bono, RD Nicola, G Ferrari, D Gorla, M Loreti, E Moggi, ... International Workshop on Global Computing, 88-150, 2003	141	2003
The partial lambda calculus E Moggi University of Edinburgh. College of Science and Engineering. School of …, 1988	108	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	88	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	70	1996
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	63	1984
Monadic encapsulation of effects: A revised approach (extended version) E Moggi, A Sabry Journal of Functional Programming 11 (6), 591-627, 2001	62*	2001
Categories of partial morphisms and the λ_P-calculus E Moggi Category Theory and Computer Programming, 242-251, 1986	60	1986
ML-like inference for classifiers C Calcagno, E Moggi, W Taha European Symposium on Programming, 79-93, 2004	55	2004
Functorial ml CB Jay, G Belle, E Moggi Journal of functional programming 8 (6), 573-619, 1998	53	1998
A category-theoretic account of program modules E Moggi Mathematical Structures in Computer Science 1 (1), 103-139, 1991	46	1991

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