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, Notions of computation and monads, Information and Computation, 93 1 (1991) [doi:10.1016/0890-5401(91)90052-4, pdf]
On categorical model of dependent types:
Last revised on March 15, 2023 at 14:09:49. See the history of this page for a list of all contributions to it.