Imperative Functional Programming Export

@inproceedings{citeulike:1214, abstract = {We present a new model, based on monads, for performing input/output in a non-strict, purely functional language. It is composable, extensible, efficient, requires no extensions to the type system, and extends smoothly to incorporate mixed-language working and in-place array updates. 1 Introduction Input/output has always appeared to be one of the less satisfactory features of purely functional languages: fitting action into the functional paradigm feels like fitting a square block into a round ...}, author = {Simon, S. L. P. and Wadler, Philip}, booktitle = {Conference record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina}, citeulike-article-id = {1214}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.2504}, keywords = {foreign-function-interface, functional-programming, io, monad, types}, pages = {71--84}, posted-at = {2007-03-21 13:38:13}, priority = {0}, title = {Imperative Functional Programming}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.2504}, year = {1993} }

TY - CONF ID - citeulike:1214 L3 - citeulike-article-id:1214 N2 - We present a new model, based on monads, for performing input/output in a non-strict, purely functional language. It is composable, extensible, efficient, requires no extensions to the type system, and extends smoothly to incorporate mixed-language working and in-place array updates. 1 Introduction Input/output has always appeared to be one of the less satisfactory features of purely functional languages: fitting action into the functional paradigm feels like fitting a square block into a round ... EP - 84 TI - Imperative Functional Programming T2 - Conference record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina SP - 71 KW - foreign-function-interface KW - functional-programming KW - io KW - monad KW - types AU - Simon, SLP AU - Wadler, Philip PY - 1993/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.2504 ER -