Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-Machine Export

@article{citeulike:341178, abstract = {The Spineless Tagless G-machine is an abstract machine designed to support nonstrict higher-order functional languages. This presentation of the machine falls into three parts. Firstly, we give a general discussion of the design issues involved in implementing non-strict functional languages. Next, we present the STG language, an austere but recognisably-functional language, which as well as a denotational meaning has a well-defined operational semantics. The STG language is the \"abstract...}, author = {Simon}, citeulike-article-id = {341178}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.3729}, journal = {Journal of Functional Programming}, keywords = {languageimplementation}, number = {2}, pages = {127--202}, posted-at = {2007-12-27 14:02:47}, priority = {2}, title = {Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-Machine}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.3729}, volume = {2}, year = {1992} }

TY - JOUR ID - citeulike:341178 L3 - citeulike-article-id:341178 N2 - The Spineless Tagless G-machine is an abstract machine designed to support nonstrict higher-order functional languages. This presentation of the machine falls into three parts. Firstly, we give a general discussion of the design issues involved in implementing non-strict functional languages. Next, we present the STG language, an austere but recognisably-functional language, which as well as a denotational meaning has a well-defined operational semantics. The STG language is the "abstract... IS - 2 JF - Journal of Functional Programming EP - 202 TI - Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-Machine VL - 2 SP - 127 KW - languageimplementation AU - Simon PY - 1992/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.3729 ER -