Segueix
Eugenio Moggi
Eugenio Moggi
Professor of Computer Science, Genova University
Correu electrònic verificat a unige.it - Pàgina d'inici
Títol
Citada per
Citada per
Any
Notions of computation and monads
E Moggi
Information and computation 93 (1), 55-92, 1991
25371991
Computational lambda-calculus and monads
E Moggi
Logic in Computer Science, 1989
14681989
An abstract view of programming languages
E Moggi
University of Edinburgh. Department of Computer Science. Laboratory for …, 1990
2531990
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
2291989
Constructive natural deduction and its ‘ω-set’interpretation
G Longo, E Moggi
Mathematical Structures in Computer Science 1 (2), 215-254, 1991
1991991
An abstract view of programming languages
E Moggi
University of Edinburgh, Department of Computer Science, Laboratory for …, 1989
1871989
Kripke-style models for typed lambda calculus
JC Mitchell, E Moggi
Annals of pure and applied logic 51 (1-2), 99-124, 1991
1741991
A fully abstract model for the π-calculus
MP Fiore, E Moggi, D Sangiorgi
Information and Computation 179 (1), 76-117, 2002
1652002
Monads and effects
N Benton, J Hughes, E Moggi
International Summer School on Applied Semantics, 42-122, 2000
1652000
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
1532003
The partial lambda calculus
E Moggi
University of Edinburgh. College of Science and Engineering. School of …, 1988
1111988
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
891993
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
751996
A category-theoretic account of program modules
E Moggi
Mathematical Structures in Computer Science 1 (1), 103-139, 1991
641991
Categories of partial morphisms and the λP-calculus
E Moggi
Category Theory and Computer Programming: Tutorial and Workshop, Guildford …, 1986
611986
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
601984
Functorial ml
CB Jay, G Belle, E Moggi
Journal of functional programming 8 (6), 573-619, 1998
571998
ML-like inference for classifiers
C Calcagno, E Moggi, W Taha
Programming Languages and Systems: 13th European Symposium on Programming …, 2004
532004
En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.
Articles 1–20