nLab Eugenio Moggi

• website

Selected writings

Introducing (strong) monads in computer science (in the form of “extension systems”, “Kleisli triples” as a form of computation with side-effects):

• Eugenio Moggi, Computational lambda-calculus and monads, in: Proceedings of the Fourth Annual Symposium on Logic in Computer Science (1989) 14-23 [doi:10.1109/LICS.1989.39155]

• Eugenio Moggi, An abstract View of Programming Languages, LFCS report ECS-LFCS-90-113 (1989) [web, pdf]

• Eugenio Moggi, Notions of computation and monads, Information and Computation, 93 1 (1991) [doi:10.1016/0890-5401(91)90052-4, pdf]

and on their monad transformers:

• Mauro Jaskelioff, Eugenio Moggi, Monad Transformers as Monoid Transformers, Theoretical Computer Science 411 51–52 (2010) 4441-4466 [doi:10.1016/j.tcs.2010.09.011, pdf]

Review:

• Nick Benton, John Hughes, Eugenio Moggi, Monads and Effects, in: Applied Semantics, Lecture Notes in Computer Science 2395, Springer (2002) 42-122 [doi:10.1007/3-540-45699-6_2]

On categorical model of dependent types:

• Eugenio Moggi, A category-theoretic account of program modules, Math. Structures Comput. Sci. 1 1 (1991) 103-139 [MR1108806, doi:10.1017/S0960129500000074]

category: people