Typed Exceptions and Continuations Cannot Macro-Express Each Other Export

@article{citeulike:4964, abstract = {. The most powerful control constructs in modern programming languages are continuations and exceptions. Although they can be used interchangeably in some cases, they are fundamentally different semantically. We consider two simply-typed functional languages with exceptions and continuations, respectively. We give two theorems, one that holds in the language with exceptions and one that holds in the language with continuations. A fortiori, these theorems imply that exception constructs cannot...}, author = {Riecke, Jon G. and Thielecke, Hayo}, citeulike-article-id = {4964}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.8180}, journal = {Lecture Notes in Computer Science}, keywords = {continuations, exceptions, language-design}, posted-at = {2004-12-30 05:13:06}, title = {Typed Exceptions and Continuations Cannot Macro-Express Each Other}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.8180}, volume = {1644}, year = {1999} }

TY - JOUR ID - citeulike:4964 L3 - citeulike-article-id:4964 N2 - . The most powerful control constructs in modern programming languages are continuations and exceptions. Although they can be used interchangeably in some cases, they are fundamentally different semantically. We consider two simply-typed functional languages with exceptions and continuations, respectively. We give two theorems, one that holds in the language with exceptions and one that holds in the language with continuations. A fortiori, these theorems imply that exception constructs cannot... JF - Lecture Notes in Computer Science TI - Typed Exceptions and Continuations Cannot Macro-Express Each Other VL - 1644 KW - continuations KW - exceptions KW - language-design AU - Riecke, Jon AU - Thielecke, Hayo PY - 1999/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.8180 ER -