Monads in Semantics

Abstract In this extended abstract we provide a very brief overview of the notion of a monad along with some examples of applications to programming language semantics. The treatment is by no means exhaustive but rather chooses examples and results that either illustrate the wide variety of uses of this abstract tool or which bear some connection to other work presented at the workshop. The abstract begins with some preliminary definitions and examples, proceeds to categories of algebras and ends with some results and examples of the author using monadic lifting.

[1]  Philip Wadler,et al.  Comprehending monads , 1990, LISP and Functional Programming.

[2]  Philip S. Mulry.  Generalized Banach-Mazur functionals in the topos of recursive sets , 1982 .

[3]  P. S. Mulry.  Applications of Categories in Computer Science: Strong monads, algebras and fixed points , 1992 .

[4]  P. Freyd.  Algebraically complete categories , 1991 .

[5]  Eugenio Moggi,et al.  Notions of Computation and Monads , 1991, Inf. Comput..

[6]  E. Moggi.  The partial lambda calculus , 1988 .

[7]  Michael Barr,et al.  Category theory for computing science , 1995, Prentice Hall International Series in Computer Science.

[8]  Philip S. Mulry,et al.  Lifting Theorems for Kleisli Categories , 1993, MFPS.

[9]  J. Hyland.  The Effective Topos , 1982 .

[10]  Giuseppe Rosolini,et al.  Extensional PERs , 1992, Inf. Comput..

[11]  P. T. Johnstone,et al.  Adjoint Lifting Theorems for Categories of Algebras , 1975 .

[12]  Philip S. Mulry.  Partial Map Classifiers and Partial Cartesian Closed Categories , 1994, Theor. Comput. Sci..

[13]  Paul Hudak,et al.  Monad transformers and modular interpreters , 1995, POPL '95.

[14]  Bart Jacobs,et al.  Semantics of Weakening and Contraction , 1994, Ann. Pure Appl. Log..

[15]  A. Kock.  Strong functors and monoidal monads , 1972 .

[16]  A. Simpson.  Recursive types in Kleisli categories , 1992 .

[17]  Val Tannen,et al.  A Calculus for Collections and Aggregates , 1997, Category Theory and Computer Science.

[18]  S. Brookes,et al.  Applications of Categories in Computer Science: Computational comonads and intensional semantics , 1992 .