How to Declare an Imperative

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

How can we integrate interaction into a purely declarative language? This tutorial describes a solution to this problem based on a monad. The solution has been implemented in the functional language Haskell and the declarative language Escher. Comparisons are given to other approaches to interaction based on synchronous streams, continuations, linear logic, and side effects.
Original languageEnglish
Title of host publicationLogic Programming, Proceedings of the 1995 International Symposium, December 4-7, 1995, Portland, Oregon
PublisherMIT Press
Number of pages15
ISBN (Print)0-262-62099-5
Publication statusPublished - 1995


Dive into the research topics of 'How to Declare an Imperative'. Together they form a unique fingerprint.

Cite this