Representing Control: A study of the CPS transformation Export

@article{citeulike:4962, abstract = {continuations: A mathematical semantics for handling full functional jumps. In Proceedings of the 1988 ACM Conference on Lisp and Functional Programming, pages 52--62, Snowbird, Utah, July 1988. [19] Andrzej Filinski. Linear continuations. In POPL'92 [37], pages 27--38. [20] Michael J. Fischer. Lambda calculus schemata. In Proceedings of the ACM Conference on Proving Assertions about Programs, pages 104--109. SIGPLAN Notices, Vol. 7, No 1 and SIGACT News, No 14, January 1972. [21] Pascal Fradet ...}, author = {Danvy, Olivier and Filinski, Andrzej}, citeulike-article-id = {4962}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.9806}, journal = {Mathematical Structures in Computer Science}, keywords = {control-operator, cps}, number = {4}, pages = {361--391}, posted-at = {2008-09-06 17:47:24}, priority = {2}, title = {Representing Control: A study of the CPS transformation}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.9806}, volume = {2}, year = {1992} }

TY - JOUR ID - citeulike:4962 L3 - citeulike-article-id:4962 N2 - continuations: A mathematical semantics for handling full functional jumps. In Proceedings of the 1988 ACM Conference on Lisp and Functional Programming, pages 52--62, Snowbird, Utah, July 1988. [19] Andrzej Filinski. Linear continuations. In POPL'92 [37], pages 27--38. [20] Michael J. Fischer. Lambda calculus schemata. In Proceedings of the ACM Conference on Proving Assertions about Programs, pages 104--109. SIGPLAN Notices, Vol. 7, No 1 and SIGACT News, No 14, January 1972. [21] Pascal Fradet ... IS - 4 JF - Mathematical Structures in Computer Science EP - 391 TI - Representing Control: A study of the CPS transformation VL - 2 SP - 361 KW - control-operator KW - cps AU - Danvy, Olivier AU - Filinski, Andrzej PY - 1992/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.9806 ER -