Yukiyoshi县Kameyama;隆泽,Takuo 用于分隔连续的类型化动态控制运算符。 (英语) Zbl 1137.68346号 Garrigue,Jacques(编辑)等人,《函数和逻辑编程》。2008年4月14日至16日,第九届国际研讨会,FLOPS 2008,日本伊势。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78968-0/pbk)。计算机科学课堂讲稿4989,239-254(2008)。 摘要:我们研究了分隔连续、控制和提示的动态控制操作符。基于对它们的纯函数CPS翻译的最新发展,我们为这些控制操作符引入了一种多态类型演算,它允许对答案类型进行修改。我们证明了我们的演算具有类型稳健性,并且与CPS转换兼容。我们还证明了类型化的动态控制算子可以宏观地表达类型化的静态控制算子(Shift和Reset),而相反的方向是不可能的,这与无类型的情况形成了鲜明的对比。关于整个系列,请参见[Zbl 1133.68006号]. 引用于5文件 MSC公司: 68甲18 函数编程和lambda演算 关键词:类型系统;带分隔符的续;动态控制操作员;CPS翻译;多态性;表达能力 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kameyama}和\textit{T.Yonezawa},莱克托。注释计算。科学。49892239-254(2008年;兹bl 1137.68346) 全文: DOI程序