Searching for "Transformations on Higher-Order Functions." – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
Using Programming Language Theory to Make Automatic Differentiation Sound and Efficient
- … conversion [4]. We point out that—like it or not—the AD transforms are higher-order functions: functions…
- Add To MetaCart
-
A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages
- … by our partial evaluator is the transformation of higher-order functions into first-order functions…
- Cited by 27 (18 self) – Add To MetaCart
-
A Method for Developing Parallel Vision Algorithms with an Example of Edge Tracking
- … assignment, then higher order functions and transformation rules for lists may be reconstructed with respect…
- Cited by 1 (1 self) – Add To MetaCart
-
New Techniques for the Analysis and Implementation of Functional Programs
- … and Flemming Nielson. Transformations on higher--order functions. In Functional Programming Languages…
- Cited by 1 (1 self) – Add To MetaCart
-
A Type-Theoretic Basis for an Object-Oriented Refinement Calculus
- … predicates as Boolean valued functions and predicate transformers as higher-order functions from predicates…
- Cited by 8 (1 self) – Add To MetaCart
-
On the Benefits of Different Analyses in the Compilation of a Lazy Functional Language
- … that can deal with arbitrary data structures and higher-order functions. In this paper we present a break…
- Cited by 6 (0 self) – Add To MetaCart
-
Transforming Inductive Definitions
- … correctness of some transformations of higher-order functional programs [11]. Sands' Improvement Method can…
- Cited by 2 (1 self) – Add To MetaCart
-
Functioning without Closure: Type-Safe Customized Function Representations for Standard ML
- … conversion is not the only uniform strategy for transforming higher-order functions to first-order functions…
- Cited by 6 (6 self) – Add To MetaCart
-
Partial Predicates for Demand Analysis
- ….2 Predicate Transformers Partial predicate transformers are higher order functions that take partial…
- Add To MetaCart
-
Structured Parallel Programming
- … correctness preserving transformations, and higher order functions, which provide a powerful control…
- Cited by 18 (7 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
