×

zbMATH — the first resource for mathematics

Moggi, Eugenio

Compute Distance To:
Author ID: moggi.eugenio Recent zbMATH articles by "Moggi, Eugenio"
Published as: Moggi, E.; Moggi, Eugenio
Documents Indexed: 44 Publications since 1984, including 3 Books

Publications by Year

Citations contained in zbMATH Open

31 Publications have been cited 575 times in 448 Documents Cited by Year
Notions of computation and monads. Zbl 0723.68073
Moggi, Eugenio
259
1991
Computational lambda-calculus and monads. Zbl 0716.03007
Moggi, Eugenio
91
1989
A fully abstract model for the \(\pi\)-calculus. Zbl 1053.68066
Fiore, M. P.; Moggi, E.; Sangiorgi, D.
26
2002
Constructive natural deduction and its “\(\omega\)-set” interpretation. Zbl 0756.03028
Longo, Giuseppe; Moggi, Eugenio
26
1991
Kripke-style models for typed lambda calculus. Zbl 0728.03011
Mitchell, John C.; Moggi, Eugenio
21
1991
Partial morphisms in categories of effective objects. Zbl 0655.18005
Moggi, Eugenio
17
1988
Monads and effects. Zbl 1065.68064
Benton, Nick; Hughes, John; Moggi, Eugenio
16
2002
The hereditary partial effective functionals and recursion theory in higher types. Zbl 0599.03051
Longo, Giuseppe; Moggi, E.
13
1984
The Klaim project: Theory and practice. Zbl 1179.68027
Bettini, Lorenzo; Bono, Viviana; De Nicola, Rocco; Ferrari, Gianluigi; Gorla, Daniele; Loreti, Michele; Moggi, Eugenio; Pugliese, Rosario; Tuosto, Emilio; Venneri, Betti
12
2003
Cartesian closed categories of enumerations for effective type structures. Zbl 0564.03037
Longo, Giuseppe; Moggi, E.
12
1984
A category-theoretic characterization of functional completeness. Zbl 0698.68008
Longo, Giuseppe; Moggi, Eugenio
11
1990
Categories of partial morphisms and the \(\lambda _ p\)-calculus. Zbl 0628.03007
Moggi, Eugenio
11
1986
A category-theoretic account of program modules. Zbl 0747.18009
Moggi, Eugenio
9
1991
A monadic multi-stage metalanguage. Zbl 1029.68042
Moggi, Eugenio; Fagorzi, Sonia
5
2003
Monadic encapsulation of effects: A revised approach. (Extended version). Zbl 1037.68023
Moggi, E.; Sabry, Amr
5
2001
A semantics for evaluation logic. Zbl 0816.68082
Moggi, Eugenio
5
1995
Gödel numberings, principal morphisms, combinatory algebras. A category-theoretic characterization of functional completeness. Zbl 0567.03003
Longo, Giuseppe; Moggi, E.
5
1984
An abstract monadic semantics for value recursion. Zbl 1089.68029
Moggi, Eugenio; Sabry, Amr
4
2004
A modular approach to denotational semantics. Zbl 0792.68094
Moggi, Eugenio
4
1991
Monad transformers as monoid transformers. Zbl 1209.68107
Jaskelioff, Mauro; Moggi, Eugenio
3
2010
Monads, shapely functors and traversals. Zbl 0967.68038
Moggi, E.; Bellè, G.; Jay, C. B.
3
1999
Functorial ML. Zbl 0928.68017
Jay, C. B.; Bellè, G.; Moggi, E.
3
1998
Metalanguages and applications. Zbl 0919.68085
Moggi, Eugenio
3
1997
ML-like inference for classifiers. Zbl 1126.68330
Calcagno, Cristiano; Moggi, Eugenio; Taha, Walid
2
2004
Closed types as a simple approach to save imperative multi-stage programming. Zbl 0973.68037
Calcagno, Cristiano; Moggi, Eugenio; Taha, Walid
2
2000
A categorical account of two-level languages. Zbl 0911.68095
Moggi, Eugenio
2
1997
MetaKlaim: a type safe multi-stage language for global computing. Zbl 1085.68013
Ferrari, Gianluigi; Moggi, Eugenio; Pugliese, Rosario
1
2004
Mixin modules and computational effects. Zbl 1039.68541
Ancona, Davide; Fagorzi, Sonia; Moggi, Eugenio; Zucca, Elena
1
2003
Closed types for a safe imperative MetaML. Zbl 1036.68024
Calcagno, C.; Moggi, E.; Sheard, T.
1
2003
Functor categories and two-level languages. Zbl 0904.03017
Moggi, E.
1
1998
Relating models of impredicative type theories. Zbl 0794.03096
Jacobs, Bart; Moggi, Eugenio; Streicher, Thomas
1
1991
Monad transformers as monoid transformers. Zbl 1209.68107
Jaskelioff, Mauro; Moggi, Eugenio
3
2010
An abstract monadic semantics for value recursion. Zbl 1089.68029
Moggi, Eugenio; Sabry, Amr
4
2004
ML-like inference for classifiers. Zbl 1126.68330
Calcagno, Cristiano; Moggi, Eugenio; Taha, Walid
2
2004
MetaKlaim: a type safe multi-stage language for global computing. Zbl 1085.68013
Ferrari, Gianluigi; Moggi, Eugenio; Pugliese, Rosario
1
2004
The Klaim project: Theory and practice. Zbl 1179.68027
Bettini, Lorenzo; Bono, Viviana; De Nicola, Rocco; Ferrari, Gianluigi; Gorla, Daniele; Loreti, Michele; Moggi, Eugenio; Pugliese, Rosario; Tuosto, Emilio; Venneri, Betti
12
2003
A monadic multi-stage metalanguage. Zbl 1029.68042
Moggi, Eugenio; Fagorzi, Sonia
5
2003
Mixin modules and computational effects. Zbl 1039.68541
Ancona, Davide; Fagorzi, Sonia; Moggi, Eugenio; Zucca, Elena
1
2003
Closed types for a safe imperative MetaML. Zbl 1036.68024
Calcagno, C.; Moggi, E.; Sheard, T.
1
2003
A fully abstract model for the \(\pi\)-calculus. Zbl 1053.68066
Fiore, M. P.; Moggi, E.; Sangiorgi, D.
26
2002
Monads and effects. Zbl 1065.68064
Benton, Nick; Hughes, John; Moggi, Eugenio
16
2002
Monadic encapsulation of effects: A revised approach. (Extended version). Zbl 1037.68023
Moggi, E.; Sabry, Amr
5
2001
Closed types as a simple approach to save imperative multi-stage programming. Zbl 0973.68037
Calcagno, Cristiano; Moggi, Eugenio; Taha, Walid
2
2000
Monads, shapely functors and traversals. Zbl 0967.68038
Moggi, E.; Bellè, G.; Jay, C. B.
3
1999
Functorial ML. Zbl 0928.68017
Jay, C. B.; Bellè, G.; Moggi, E.
3
1998
Functor categories and two-level languages. Zbl 0904.03017
Moggi, E.
1
1998
Metalanguages and applications. Zbl 0919.68085
Moggi, Eugenio
3
1997
A categorical account of two-level languages. Zbl 0911.68095
Moggi, Eugenio
2
1997
A semantics for evaluation logic. Zbl 0816.68082
Moggi, Eugenio
5
1995
Notions of computation and monads. Zbl 0723.68073
Moggi, Eugenio
259
1991
Constructive natural deduction and its “\(\omega\)-set” interpretation. Zbl 0756.03028
Longo, Giuseppe; Moggi, Eugenio
26
1991
Kripke-style models for typed lambda calculus. Zbl 0728.03011
Mitchell, John C.; Moggi, Eugenio
21
1991
A category-theoretic account of program modules. Zbl 0747.18009
Moggi, Eugenio
9
1991
A modular approach to denotational semantics. Zbl 0792.68094
Moggi, Eugenio
4
1991
Relating models of impredicative type theories. Zbl 0794.03096
Jacobs, Bart; Moggi, Eugenio; Streicher, Thomas
1
1991
A category-theoretic characterization of functional completeness. Zbl 0698.68008
Longo, Giuseppe; Moggi, Eugenio
11
1990
Computational lambda-calculus and monads. Zbl 0716.03007
Moggi, Eugenio
91
1989
Partial morphisms in categories of effective objects. Zbl 0655.18005
Moggi, Eugenio
17
1988
Categories of partial morphisms and the \(\lambda _ p\)-calculus. Zbl 0628.03007
Moggi, Eugenio
11
1986
The hereditary partial effective functionals and recursion theory in higher types. Zbl 0599.03051
Longo, Giuseppe; Moggi, E.
13
1984
Cartesian closed categories of enumerations for effective type structures. Zbl 0564.03037
Longo, Giuseppe; Moggi, E.
12
1984
Gödel numberings, principal morphisms, combinatory algebras. A category-theoretic characterization of functional completeness. Zbl 0567.03003
Longo, Giuseppe; Moggi, E.
5
1984
all top 5

Cited by 557 Authors

17 Power, John
11 Schröder, Lutz
9 Goncharov, Sergeĭ Savost’yanovich
8 Jacobs, Bart
8 Longo, Giuseppe
7 Hyland, J. Martin E.
7 Levy, Paul Blain
7 Moggi, Eugenio
7 Montanari, Ugo G.
7 Staton, Sam
6 Atkey, Robert
6 Battenfeld, Ingo
6 Plotkin, Gordon D.
6 Zhang, Yu
5 Birkedal, Lars
5 Danvy, Olivier
5 Hasuo, Ichiro
5 Mendler, Michael
5 Piróg, Maciej
5 Rauch, Christoph
5 Sabry, Amr
5 Scott, Philip J.
5 Uustalu, Tarmo
4 Benton, Nick
4 Doberkat, Ernst-Erich
4 Gadducci, Fabio
4 Ghani, Neil
4 Gibbons, Jeremy
4 Keimel, Klaus
4 Kiselyov, Oleg
4 Manes, Ernie G.
4 Mulry, Philip S.
4 Nielsen, Lasse R.
4 Nielson, Flemming
4 Pitts, Andrew M.
4 Simpson, Alex K.
4 Talcott, Carolyn L.
3 Abadi, Martín
3 Abel, Andreas M.
3 Ariola, Zena M.
3 Ciancia, Vincenzo
3 Cockett, J. Robin B.
3 Cockett, Robin
3 Curien, Pierre-Louis
3 Fiore, Marcelo P.
3 Garner, Richard
3 Goubault-Larrecq, Jean
3 Hennessy, Matthew C. B.
3 Herbelin, Hugo
3 Jaskelioff, Mauro
3 Johann, Patricia
3 Kameyama, Yukiyoshi
3 Licata, Daniel R.
3 Lindley, Sam
3 Lipton, James B.
3 Mason, Ian A.
3 Milius, Stefan
3 Møgelberg, Rasmus Ejlers
3 Mossakowski, Till
3 Murawski, Andrzej S.
3 Nowak, David E.
3 Pavlović, Duško
3 Pretnar, Matija
3 Riis Nielson, Hanne
3 Shan, Chung-chieh
3 Silva, Alexandra
3 Støvring, Kristian
3 Thamsborg, Jacob
3 Thielecke, Hayo
3 Tzevelekos, Nikos
2 Abramsky, Samson
2 Ahman, Danel
2 Bauer, Andrej
2 Berger, Ulrich
2 Blute, Richard F.
2 Bonchi, Filippo
2 Braüner, Torben
2 Bruce, Kim B.
2 Carette, Jacques
2 Coquand, Thierry
2 Crole, Roy L.
2 Dal Lago, Ugo
2 De Nicola, Rocco
2 Došen, Kosta
2 Dumas, Jean-Guillaume
2 Duval, Dominique
2 Ehrhard, Thomas
2 Eklund, Patrick
2 Espírito Santo, José Carlos
2 Freyd, Peter J.
2 Fu, Yuxi
2 Führmann, Carsten
2 Gabbay, Murdoch James
2 Galán, M. Ángeles
2 Guerrieri, Giulio
2 Hamana, Makoto
2 Harper, Robert
2 Hermida, Claudio
2 Heunen, Chris
2 Hinze, Ralf
...and 457 more Authors
all top 5

Cited in 49 Serials

102 Theoretical Computer Science
35 Information and Computation
29 Journal of Functional Programming
26 MSCS. Mathematical Structures in Computer Science
15 Annals of Pure and Applied Logic
12 Journal of Logical and Algebraic Methods in Programming
11 Logical Methods in Computer Science
9 Higher-Order and Symbolic Computation
7 Journal of Pure and Applied Algebra
7 The Journal of Logic and Algebraic Programming
6 RAIRO. Theoretical Informatics and Applications
5 Science of Computer Programming
5 Formal Aspects of Computing
5 Journal of Applied Logic
3 Journal of Computer and System Sciences
3 Topology and its Applications
3 Journal of Computer Science and Technology
3 Computer Languages, Systems & Structures
2 Acta Informatica
2 Journal of Philosophical Logic
2 Programming and Computer Software
2 Studia Logica
2 Journal of Symbolic Computation
2 New Generation Computing
2 Journal of Automated Reasoning
2 Applied Categorical Structures
2 Theory and Applications of Categories
2 Theory of Computing Systems
1 Information Processing Letters
1 Algebra and Logic
1 Algebra Universalis
1 Cahiers de Topologie et Géométrie Différentielle Catégoriques
1 Commentationes Mathematicae Universitatis Carolinae
1 Fuzzy Sets and Systems
1 Information Sciences
1 The Journal of Symbolic Logic
1 Proceedings of the American Mathematical Society
1 Probability Theory and Related Fields
1 International Journal of Foundations of Computer Science
1 Indagationes Mathematicae. New Series
1 Formal Methods in System Design
1 Journal of Logic, Language and Information
1 Mathematical Logic Quarterly (MLQ)
1 Science in China. Series F
1 Mathematics in Computer Science
1 Tbilisi Mathematical Journal
1 Journal of Formalized Reasoning
1 RAIRO. Theoretical Informatics and Applications
1 Journal of Theoretical Biology

Citations by Year