Searching for "Functional programming with sets." – sorted by Relevance.
40 documents found, showing 1 through 10.
Next 10 →
-
Monads, Shapely Functors and Traversals
- … functional programming setting (see e.g. [12,14]). Recently, interactions between monads and data structures…
- Cited by 3 (0 self) – Add To MetaCart
-
S3L : a Fair Functional Language Implementing Infinite Sets
- … : Functional Programming, Sets, Prototyping, Fairness, S3L. 1 Introduction S3L [11] is a functional…
- Add To MetaCart
-
A Logic Programming Approach To Manipulating Formulas And Programs
- … can be extended to a higher-order setting in which function and predicate symbols can be variables…
- Cited by 36 (7 self) – Add To MetaCart
-
Explicit Substitutions for Linear Logical
- … to environments in a functional programming setting. We formalize this description as a language that we call xd…
- Add To MetaCart
-
Refactoring for Comprehension
- … the following properties: µ· µT = µ· T µ, µ· T η = µ· ηT = idC . In the functional programming setting, monads…
- Add To MetaCart
-
Recursion Versus Iteration at Higher-Orders
- … are iterative, we say that the functional program is iterative. If ITERn and RECn are, respectively, the set…
- Cited by 6 (0 self) – Add To MetaCart
-
Discovery of Numerical Dependencies in Form of Rational Expressions.
- … programs using 4 production methods. Two of them, 'rational expression' and 'functional composition…
- Cited by 1 (1 self) – Add To MetaCart
-
Substitution: A formal methods case study using monads and transformations
- … to semantics[15] and to functional programs[19]. In the computer science setting a monad is defined by a…
- Cited by 13 (3 self) – Add To MetaCart
-
Synthesizing object-oriented and functional design to promote re-use
- … recursive calls among methods, analogous to the recursion in the functional program. In this setting…
- Cited by 34 (4 self) – Add To MetaCart
-
Decompilation: The Enumeration of Types and Grammars
- … on attribute grammars in a functional programming setting may be found in [24]. In detail, Section 2 covers…
- Cited by 13 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
