乔什·伯丁；彼得·奥赫恩；乌代·雷迪；Hayo Thielecke 线性连续通过。 （英语） Zbl 1030.68011号 高-订购符号。计算。 15，第2-3号，181-208（2002）. 总结：连续词可用于解释各种控制行为，包括调用/返回（程序）、提升/处理（异常）、标记跳跃(转到语句）、进程切换（协同程序）和回溯。然而，延续通常以高度风格化的方式进行操作，我们表明，所有这些，酒吧回溯，实际上都是线性使用它们的延续；这是通过采用CPS转换的目标语言来形式化的，该转换既有直觉函数类型，也有线性函数类型。 引用于9文件 MSC公司： 68甲15 编程语言理论 68N17号 逻辑编程 关键词：延续；连续传递样式；线性打字；呼叫/抄送；例外；转到；协同程序 PDF格式BibTeX公司 XML格式引用 \textit{J.Berdine}等人，高-订购符号。计算。15，编号2--3，181-208（2002；Zbl 1030.68011） 全文： 内政部