How to declare an imperative Export

@article{citeulike:876263, 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.}, address = {New York, NY, USA}, author = {Wadler, Philip}, citeulike-article-id = {876263}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=262011}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/262009.262011}, doi = {10.1145/262009.262011}, issn = {0360-0300}, journal = {ACM Comput. Surv.}, keywords = {descartes, mind-body, wadler\_97\_how-root}, month = {September}, number = {3}, pages = {240--263}, posted-at = {2006-09-28 14:49:37}, priority = {5}, publisher = {ACM Press}, title = {How to declare an imperative}, url = {http://dx.doi.org/10.1145/262009.262011}, volume = {29}, year = {1997} }

TY - JOUR ID - citeulike:876263 L3 - citeulike-article-id:876263 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. IS - 3 JF - ACM Comput. Surv. SN - 0360-0300 AD - New York, NY, USA EP - 263 TI - How to declare an imperative PB - ACM Press VL - 29 SP - 240 KW - descartes KW - mind-body KW - wadler_97_how-root AU - Wadler, Philip PY - 1997/09// UR - http://dx.doi.org/10.1145/262009.262011 ER -