Searching for "Functional Programming and Lambda Calculus." – sorted by Relevance.
15 documents found, showing 1 through 10.
Next 10 →
-
Graph Rewriting Semantics for Functional Programming Languages
- ….24.3652525. Abstract. The lambda calculus forms without any question *the* theoretical backbone of functional…
- Cited by 5 (2 self) – Add To MetaCart
-
Modeling Sharing and Recursion for Weak Reduction Strategies using Explicit Substitution
- … programming languages. Keywords. Implementation of functional programming, lambda calculus, weak reduction…
- Cited by 25 (7 self) – Add To MetaCart
-
unknown title
- … will give only a brief introduction. 2.1.1 Lambda Calculus Functional programming is based on lambda…
- Add To MetaCart
-
Strong Normalization for Non-structural Subtyping via Saturated Sets
- … systems. Keywords: Functional programming, lambda-calculus, programming calculi, programming languages…
- Add To MetaCart
-
Self-Adjusting Computation
- … propagation, trace stability, functional programming, lambda calculus, type systems, operational semantics…
- Cited by 17 (9 self) – Add To MetaCart
-
Higher-Order Functional Composition in Visual Form
- … of the lambda calculus. It is primarily intended as a teaching tool, maybe not only for functional programming…
- Cited by 3 (0 self) – Add To MetaCart
-
On Extending Wand’s Type Reconstruction Algorithm to Handle Polymorphic Let
- … In this paper we assume familiarity with the notion of types, functional programming and lambda calculus…
- Cited by 1 (1 self) – Add To MetaCart
-
Applications of Functional Programming in Processing Natural and Formal Languages
- … language DCG (Definite Clause Grammar) [13]. The foundation of functional programming is the Lambda…
- Add To MetaCart
-
The Cube - Extending Systems for Undo
- …(s, c) 1 Currying is a technique used in functional programming and lambda calculus to simplify…
- Cited by 3 (0 self) – Add To MetaCart
-
NREVERSAL of Fortune -- The Thermodynamics of Garbage Collection
- … and Functional Programming The lambda calculus and combinators can be implemented using reference counting…
- Cited by 10 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
