文章基本信息

标题：An Operational Foundation for Delimited Continuations in the CPS Hierarchy
本地全文：下载
作者：Malgorzata Biernacka ; Dariusz Biernacki ; Olivier Danvy 等
期刊名称：Logical Methods in Computer Science
印刷版ISSN：1860-5974
电子版ISSN：1860-5974
出版年度：2005
卷号：1
期号：2
出版社：Technical University of Braunschweig