Accession Number : ADA266522


Title :   Monads and Comonads in Intensional Semantics


Descriptive Note : Research rept.


Corporate Author : CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE


Personal Author(s) : Brookes, Stephen ; Van Stone, Kathryn


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a266522.pdf


Report Date : Apr 1993


Pagination or Media Count : 43


Abstract : Kleisli categories over monads have been used in denotational semantics to describe functional languages using various notions of computations as values. Kleisli categories over comonads have also been used to describe intensional semantics rather than extensional. This paper explores the possibilities of combining monads and comonads to obtain an intensional semantics using computations as values. We give three alternative ways to combine the two and explore which apply to known monads and comonads of interest. We will also look at various intensional semantics for an example programming language that uses monads for computations and compare them to the original extensional semantics.


Descriptors :   *PROGRAMMING LANGUAGES , *SEMANTICS , COMPUTATIONS , VALUE , COMPUTER PROGRAMMING


Subject Categories : Linguistics
      Computer Programming and Software


Distribution Statement : APPROVED FOR PUBLIC RELEASE