Monads and Comonads in Intensional Semantics

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 1993
Accession Number
ADA266522

Entities

People

  • Kathryn Van Stone
  • Stephen Brookes

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Algorithms
  • Applied Mathematics
  • Computations
  • Computer Programming
  • Computer Science
  • Computers
  • Construction
  • Identities
  • Judgment
  • Language
  • Mathematics
  • Parallel Computing
  • Programming Languages
  • Semantics
  • Sequences
  • Side Effects
  • Theoretical Computer Science

Readers

  • Computational Linguistics