Lambda calculus我们一般称为λ演算,最早是由邱奇(Alonzo Church,图灵的博导)在20世纪30年代引入,当时的背景是解决函数可计算的本质性问题,初期λ演算成功的解决了在可计算理论中的判定性问题,后来根据Church–Turing thesis...
Fujita, K.: Explicitly Typed λμ-Calculus for Polymorphism and Call-by-Value, Lecture Notes in Computer Science 1581, pp. 162–176, 1999.K. Fujita, Explicitly typed λµ-calculus for polymorphism and call-by-value. In Proceedings of 4th International Conference on Typed Lambda Calculi and ...
三、lambda-calculus的求值策略: 1.full beta-reduction:any redex may be reduced at any time。 2.normal order strategy:最左侧的、最外侧的redex总是被优先化简/归约。 3.call by name strategy:不允许在抽象内部的归约。 4.call by value strategy:使用最广泛。(only outermost redexes are reduced?) ...
论文 -- 管理论文 文档标签: A call-by-value lambda-calculus with lists and control 系统标签: calculus lists control lambda value andthrow Acall-by-value -calculuswithlistsandcontrolRobbertKrebbersRadboudUniversityNijmegenmail@robbertkrebbers.nlCalculiwithcontroloperatorshavebeenstudiedtoreasonaboutcontrol...
call-by-name language can be implemented with a stack environment. The reason: soundness ofη-expansion and decurrying for call-by-name. However,η-expansion isunsoundfor call-by-value. Hence, we must identify a subset of the simply-typed, call-by-valueλ-calculus, where theλ-abstraction ...
传值调用(call-by-value) 在λ 演算中,每个表达式(lambda term)都代表一个只有单独参数的函数,这个函数的参数本身也是一个只有单一参数的函数,同时,函数的值是又一个只有单一参数的函数。 根据此描述,可知 λ 演算中函数只有一个参数,这个参数是一个函数,而不是一个值。而对于我们常见的递归(阶乘、斐波那契数列...
Call-by-name, call-by-value, callby-need, and the linear lambda calculus - Maraist, Odersky, et al. - 1995John Maraist, Martin Odersky, David N... JMONT Wadler - 《Theoretical Computer Science》 被引量: 111发表: 1999年 Call-by-name, Call-by-value, Call-by-need, and the Linear...
lambda calculus n 1.(Logic)logiccomputinga formalized description of functions and the way in which they combine, developed by Alonzo Church and used in the theory of certain high-level programming languages 2.(Computer Science)logiccomputinga formalized description of functions and the way in which...
Although such particles, known as lambdas, have been spotted in nuclei before, this is the first time that nuclei with pairs of these exotic particles have been generated by the dozen, scientists say. Window Opens into Strange Nuclei Plotkin devised the call-by-value lambda calculus [Lambda.sub...
Wadler. Call-by-name, call-by-value, call-by- need and the linear lambda calculus. Electr. Notes Theor. Comput. Sci., 1:370... John,Maraist,Martin,... - 《Electronic Notes in Theoretical Computer Science》 被引量: 134发表: 1995年 A call-by-need lambda calculus Plotkin (1975) ...