Alonzo Church: The Calculi of Lambda-Conversion, Princeton University Press, Princeton, New Jersey (1941) Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Blond Primer - Danvy, Malmkjær (1988) (Correct)
....environment, and the continuation can be any unary applicable object. A standard example is the identity function, where the reified environment and continuation are reinstalled: The name # holds for dynamic. The logical letters for lexical or static would be # or #, which are already used in [Church 41] and [Felleisen Friedman 87] Since Blond is already an applied # calculus, and because we can define a # abstraction with a reifier to implement the language ##,wehavechoosen#. fox 2 ( delta (e r k) meaning (car e) r k) hello world ) fox 2: hello world In this scenario, the argument ....
Alonzo Church: The Calculi of Lambda-Conversion, Princeton University Press, Princeton, New Jersey (1941)
A Cost Analysis for a Higher-order Parallel Programming Model - Rangaswami (1996) (19 citations) (Correct)
....details into the program. 2.2 Functional Programming Functional languages have their foundations in mathematical logic. Functional programs can be viewed as a set of rules that describe what to do as opposed to how to do it. Functional languages are based on Church s lambda calculus [Chu41] and indeed these languages are sometimes referred to as lambda calculus Chapter 2 Related Work 15 with syntactic sugar. Expressions in the lambda calculus can be evaluated in any order, including in parallel) without affecting the final result. Also, in the evaluation of a lambda ....
Alonzo Church. The Calculi of -conversion. Princeton University Press, 1941.
Raw, Pickled and Textured Static Side-Effect Analysis in FX-87 - Blair (Correct)
....that is, if corresponding components of the two types are equivalent. This is formalized by the following axiom: RECTYPE t ) j [ RECTYPE t ) t] 3.2. 6 [Higher Order Description Equivalence] The following constitutes the familiar ff renaming rule of the calculus [Barendregt 84] Stoy 77] Church 51] 8dvar 0 : dvar 0 62 FDV( body ) fdvar: g (POLY ( dvar ) body ) j (POLY ( dvar 0 ) body [dvar 0 =dvar] where ffi [ffi 0 =i] denotes ffi with the simultaneous substitution of the ffi 0 : for the free occurrences of the i: within ffi, ff renaming ....
Alonzo Church The Calculi of Lambda-Conversion Annals of Mathematical Studies Vol.6, Princeton University Press, 1951
Optimality and Inefficiency : What Isn't a Cost Model of the.. - Lawall, Mairson (1996) (11 citations) (Correct)
No context found.
Alonzo Church. The Calculi of Lambdaconversion. Princeton University Press, 1941.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC