Generic Programming With Relations and Functors (1999)

Cached

Download Links

by Richard Bird , Oege De Moor , Paul Hoogendijk
Venue:Journal of Functional Programming
Citations:9 - 6 self

Active Bibliography

14 From Dynamic Programming to Greedy Algorithms – Richard Bird, Oege De Moor - 1992
6 A Relational Approach To Optimization Problems – Sharon Curtis - 1996
1 Category Theory as Coherently Constructive Lattice Theory – Roland Backhouse, Marcel Bijsterveld, Rik van Geldrop, Jaap Van Der Woude - 1998
9 Inductive Data Types for Predicate Transformers – Oege De Moor - 1995
4 Incremental Algorithms on Lists – Johan Jeuring - 1991
4 Inductive Datatypes with Laws and Subtyping – A Relational Model – Theodorus Sebastiaan Voermans
35 Elements of a Relational Theory of Datatypes – Roland Backhouse, Paul Hoogendijk - 1993
93 Polytypic programming – Patrik Jansson - 2000
28 Polytypic Pattern Matching – Johan Jeuring - 1995
11 Solving Optimisation Problems with Catamorphisms – Richard Bird, Oege De Moor - 1992
1 Using underspecification in the derivation of some optimal partition algorithms – Maarten M Fokkinga - 1990
12 Universal regular path queries – Oege De Moor, David Lacey, Eric Van Wyk - 2003
79 Nested datatypes – Richard Bird, Lambert Meertens - 1998
84 Generic programming: An introduction – Patrik Jansson, Johan Jeuring, Lambert Meertens - 1999
9 Functional programming with apomorphisms (corecursion – Varmo Vene, Tarmo Uustalub - 1998
13 Primitive (co)recursion and course-of-values (co)iteration, categorically – Tarmo Uustalu, Varmo Vene - 1999
3 Constructive Lattice Theory – Roland Backhouse - 1993
15 When Do Datatypes Commute? – Paul Hoogendijk, Roland Backhouse - 1997
20 An Algebraic Construction of Predicate Transformers – Paul Gardiner, Clare Martin, Oege De Moor - 1994