|
13
|
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
|
|
8
|
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
|
|
33
|
Elements of a Relational Theory of Datatypes
– Roland Backhouse, Paul Hoogendijk
- 1993
|
|
28
|
Polytypic Pattern Matching
– Johan Jeuring
- 1995
|
|
86
|
Polytypic programming
– Patrik Jansson, Patrik Jansson
- 1996
|
|
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
|
|
10
|
Universal regular path queries
– Oege De Moor, David Lacey, Eric Van Wyk
- 2003
|
|
67
|
Nested datatypes
– Richard Bird, Lambert Meertens
- 1998
|
|
81
|
Generic programming: An introduction
– Patrik Jansson, Johan Jeuring, Lambert Meertens
- 1999
|
|
8
|
Functional programming with apomorphisms (corecursion
– Varmo Vene, Tarmo Uustalub
- 1998
|
|
12
|
Primitive (co)recursion and course-of-values (co)iteration, categorically
– Tarmo Uustalu, Varmo Vene
- 1999
|
|
3
|
Constructive Lattice Theory
– Roland Backhouse
- 1993
|
|
14
|
When Do Datatypes Commute?
– Paul Hoogendijk, Roland Backhouse
- 1997
|
|
19
|
An Algebraic Construction of Predicate Transformers
– Paul Gardiner, Clare Martin, Oege De Moor
- 1994
|
