Eugenio Moggi

Citée par

	Toutes	Depuis 2019
Citations	7119	1239
indice h	33	12
indice i10	48	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 203 182 200 251 163

Accès public

Tout afficher

4 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Walid TahaHalmstad UniversityAdresse e-mail validée de hh.se
John C MitchellProfessor of Computer Science, Stanford UniversityAdresse e-mail validée de Stanford.edu
Tim SheardIOHK and Professor Emeritus Portland State UniversityAdresse e-mail validée de pdx.edu
Rosario PuglieseProfessor of Computer Science, University of FlorenceAdresse e-mail validée de unifi.it
Barry JayUniversity of Technology SydneyAdresse e-mail validée de uts.edu.au
Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceAdresse e-mail validée de cl.cam.ac.uk
Giuseppe RosoliniProfessor of Mathematical Logic, Università degli Studi di GenovaAdresse e-mail validée de unige.it
Nick BentonEngineering Manager, FacebookAdresse e-mail validée de fb.com
Prof. Michele LoretiSchool of Science and Technology, University of CamerinoAdresse e-mail validée de unicam.it
Daniele GorlaAdresse e-mail validée de di.uniroma1.it
Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityAdresse e-mail validée de andrew.cmu.edu
Adam DuraczSystecon ABAdresse e-mail validée de duracz.net
Davide AnconaGenovaAdresse e-mail validée de unige.it
Amr SabryProfessor of Computer Science, Indiana UniversityAdresse e-mail validée de indiana.edu
Davide SangiorgiProfessor of Computer Science, University of BolognaAdresse e-mail validée de cs.unibo.it
John HughesProfessor of Computer Science and Engineering, Chalmers UniversityAdresse e-mail validée de chalmers.se
Amin FarjudianUniversity of Birmingham (United Kingdom)Adresse e-mail validée de bham.ac.uk
Emilio TuostoGran Sasso Science InstituteAdresse e-mail validée de gssi.it
Rocco De NicolaProfessor of Computer Science, IMT LuccaAdresse e-mail validée de imtlucca.it
Viviana BonoUniversita` di TorinoAdresse e-mail validée de di.unito.it

Suivre

Eugenio Moggi

Professor of Computer Science, Genova University

Adresse e-mail validée de unige.it - Page d'accueil

Theoretical Computer Science


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Notions of computation and monads E Moggi Information and computation 93 (1), 55-92, 1991	2494	1991
Computational lambda-calculus and monads E Moggi Logic in Computer Science, 1989	1448	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	226	1989
Constructive natural deduction and its ‘ω-set’interpretation G Longo, E Moggi Mathematical Structures in Computer Science 1 (2), 215-254, 1991	198	1991
An abstract view of programming languages E Moggi University of Edinburgh, Department of Computer Science, Laboratory for …, 1989	183	1989
Kripke-style models for typed lambda calculus JC Mitchell, E Moggi Annals of pure and applied logic 51 (1-2), 99-124, 1991	170	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	162	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	151	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
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
A category-theoretic account of program modules E Moggi Mathematical Structures in Computer Science 1 (1), 103-139, 1991	60	1991
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

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs