How to Declare an Imperative

Philip Wadler

doi:10.1145/262009.262011

How to Declare an Imperative

Research output: Contribution to journal › Article › peer-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 language	English
Pages (from-to)	240-263
Number of pages	24
Journal	ACM Computing Surveys
Volume	29
Issue number	3
DOIs	https://doi.org/10.1145/262009.262011
Publication status	Published - 1997

Access to Document

10.1145/262009.262011

Cite this

@article{e07b7d1f74f54f5c9a7813bee9cb9367,

title = "How to Declare an Imperative",

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 with other approaches to interaction based on synchronous streams, continuations, linear logic, and side effects.",

author = "Philip Wadler",

year = "1997",

doi = "10.1145/262009.262011",

language = "English",

volume = "29",

pages = "240--263",

journal = "ACM Computing Surveys",

issn = "1557-7341",

publisher = "Association for Computing Machinery (ACM)",

number = "3",

}

TY - JOUR

T1 - How to Declare an Imperative

AU - Wadler, Philip

PY - 1997

Y1 - 1997

N2 - 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.

AB - 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.

U2 - 10.1145/262009.262011

DO - 10.1145/262009.262011

M3 - Article

SN - 1557-7341

VL - 29

SP - 240

EP - 263

JO - ACM Computing Surveys

JF - ACM Computing Surveys

IS - 3

ER -

How to Declare an Imperative

Abstract / Description of output

Access to Document

Fingerprint

Cite this