Searching for "Functional Programming and Lambda Calculus." – sorted by Relevance.
-
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

