乔什·伯丁;彼得·奥赫恩;乌代·雷迪;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） 全文： 内政部