When Do Datatypes Commute? (1997)

Cached

Download Links

by Paul Hoogendijk , Roland Backhouse
Venue:Category Theory and Computer Science, 7th International Conference, volume 1290 of LNCS
Citations:15 - 3 self

Active Bibliography

84 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
6 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
12 Universal regular path queries – Oege De Moor, David Lacey, Eric Van Wyk - 2003
41 Calculate Polytypically! – Lambert Meertens - 1996
9 Diffusion: Calculating Efficient Parallel Programs – Zhenjiang Hu , Masato Takeichi, Hideya Iwasaki - 1999
93 Polytypic programming – Patrik Jansson - 2000
Meeting a Fanclub: A Lattice of Generic Shape Selectors 1 – Roland Backhouse, Richard Bird, Paul Hoogendijk
4 Generic Properties of Datatypes – Roland Backhouse, Paul Hoogendijk - 2002
19 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
79 Nested datatypes – Richard Bird, Lambert Meertens - 1998
178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997