|
81
|
Generic programming: An introduction
– Patrik Jansson, Johan Jeuring, Lambert Meertens
- 1999
|
|
6
|
Final Dialgebras: From Categories to Allegories
– Roland Backhouse, Paul Hoogendijk
- 1999
|
|
5
|
Mathematics of Recursive Program Construction
– Henk Doornbos, Roland Backhouse
- 2001
|
|
5
|
Functional polytypic programming | use and implementation
– Patrik Jansson
- 1997
|
|
4
|
Inductive Datatypes with Laws and Subtyping – A Relational Model
– Theodorus Sebastiaan Voermans
|
|
4
|
Categorical Fixed Point Calculus
– Roland Backhouse, Marcel Bijsterveld, Rik van Geldrop, Jaap Van Der Woude
- 1995
|
|
4
|
PolyLib - a library of polytypic functions
– Patrik Jansson, Johan Jeuring
- 1998
|
|
10
|
Universal regular path queries
– Oege De Moor, David Lacey, Eric Van Wyk
- 2003
|
|
41
|
Calculate Polytypically!
– Lambert Meertens
- 1996
|
|
8
|
Diffusion: Calculating Efficient Parallel Programs
– Zhenjiang Hu , Masato Takeichi, Hideya Iwasaki
- 1999
|
|
86
|
Polytypic programming
– Patrik Jansson, Patrik Jansson
- 1996
|
|
3
|
Generic Properties of Datatypes
– Roland Backhouse, Paul Hoogendijk
- 2002
|
|
|
Meeting a Fanclub: A Lattice of Generic Shape Selectors 1
– Roland Backhouse, Richard Bird, Paul Hoogendijk
|
|
17
|
Generic Downwards Accumulations
– Jeremy Gibbons
- 2000
|
|
2
|
Towards polytypic parallel programming
– Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki
- 1998
|
|
3
|
Constructive Lattice Theory
– Roland Backhouse
- 1993
|
|
13
|
Polytypic Programming With Ease
– Ralf Hinze
- 1999
|
|
67
|
Nested datatypes
– Richard Bird, Lambert Meertens
- 1998
|
|
161
|
PolyP - a polytypic programming language extension
– Patrik Jansson, Johan Jeuring
- 1997
|
