Classical Call-by-Need and Duality
Classical Call-by-Need and Duality
复制标题
经典的按需呼叫和二元性
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
A. Saurin
中科院分区：
文献类型：
--
作者：
Z. Ariola;Hugo Herbelin;A. Saurin
我们从按名调用和按值调用的对偶性的角度来研究按需调用。我们在最小和经典情况下开发了按需调用的顺序演算风格版本。因此，我们得到了使用控制操作符的按需调用的自然扩展。这导致我们引入一个按需调用λ微演算。最后，利用λ微微演算的对偶原理，证明了一种新的按需演算的存在性，它区别于按名、按值和通常的按需演算理论。
We study call-by-need from the point of view of the duality between call-by-name and call-by-value. We develop sequent-calculus style versions of call-by-need both in the minimal and classical case. As a result, we obtain a natural extension of call-by-need with control operators. This leads us to introduce a call-by-need λµ-calculus. Finally, by using the dualities principles of λµµ-calculus, we show the existence of a new call-by-need calculus, which is distinct from call-by-name, call-by-value and usual call-by-need theories.