类型调用上下文的功能抽象
摘要：从他们的论文《一种类型上下文的函数抽象》中，Danvy和Filinski展示了如何从CPS语义中推导出一个单态化的shift和reset操作符的类型系统。在本文中，我们展示了这种方法如何适用于Felleisen的control和prompt操作符。与shift和reset相比，control和prompt表现出更加动态的行为，因为它们可以操纵围绕先前捕获的延续调用的上下文轨迹。我们的关键观察是，通过在CPS语义中采用函数表示的轨迹，我们可以推导出一个类型系统，该类型系统编码了CPS语义强加的所有约束。
作者：Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai
论文ID：2110.07349
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-06-22