How to Declare an Imperative

Research output: Contribution to journalArticlepeer-review

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 with other approaches to interaction based on synchronous streams, continuations, linear logic, and side effects.
Original languageEnglish
Pages (from-to)240-263
Number of pages24
JournalACM Computing Surveys
Issue number3
Publication statusPublished - 1997


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

Cite this