How to Declare an Imperative

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

Abstract

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
Pages18-32
Number of pages15
ISBN (Print)0-262-62099-5
Publication statusPublished - 1995

Cite this