Monad transformers and modular interpreters Export

@inproceedings{citeulike:2813377, abstract = {We show how a set of building blocks can be used to construct programming language interpreters, and present implementations of such building blocks capable of supporting many commonly known features, including simple expressions, three different function call mechanisms (call-by-name, callby -value and lazy evaluation), references and assignment, nondeterminism, first-class continuations, and program tracing. The underlying mechanism of our system is monad transformers, a simple form of...}, address = {New York, NY, USA}, author = {Liang, Sheng and Hudak, Paul and Jones, Mark}, booktitle = {Conference record of POPL '95, 22nd {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages: San Francisco, California, January 22--25, 1995}, citeulike-article-id = {2813377}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.268}, editor = {Ac, M.}, keywords = {interpreters, monads, programming-language-design}, pages = {333--343}, posted-at = {2008-05-19 15:55:11}, priority = {0}, publisher = {ACM Press}, title = {Monad transformers and modular interpreters}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.268}, year = {1995} }

TY - CONF ID - citeulike:2813377 L3 - citeulike-article-id:2813377 N2 - We show how a set of building blocks can be used to construct programming language interpreters, and present implementations of such building blocks capable of supporting many commonly known features, including simple expressions, three different function call mechanisms (call-by-name, callby -value and lazy evaluation), references and assignment, nondeterminism, first-class continuations, and program tracing. The underlying mechanism of our system is monad transformers, a simple form of... AD - New York, NY, USA EP - 343 TI - Monad transformers and modular interpreters PB - ACM Press T2 - Conference record of POPL '95, 22nd {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages: San Francisco, California, January 22--25, 1995 SP - 333 KW - interpreters KW - monads KW - programming-language-design AU - Liang, Sheng AU - Hudak, Paul AU - Jones, Mark A2 - Ac, M PY - 1995/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.268 ER -