Searching for "Transformations on Higher-Order Functions." – sorted by Relevance.
-
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

