Nested datatypes (1998)

Cached

Download Links

by Richard Bird , Lambert Meertens
Venue:In MPC’98, volume 1422 of LNCS
Citations:79 - 5 self

Active Bibliography

34 Generalised Folds for Nested Datatypes – Richard Bird, Ross Paterson - 1999
5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
41 Calculate Polytypically! – Lambert Meertens - 1996
93 Polytypic programming – Patrik Jansson - 2000
30 Generic Haskell: applications – Ralf Hinze, Johan Jeuring - 2003
65 Generic Haskell: practice and theory – Ralf Hinze, Johan Jeuring - 2003
1 Category Theory as Coherently Constructive Lattice Theory – Roland Backhouse, Marcel Bijsterveld, Rik van Geldrop, Jaap Van Der Woude - 1998
Submitted to ICFP’13 Unifying Recursion Schemes – Ralf Hinze, Nicolas Wu, Jeremy Gibbons
2 Functor Pulling – Lambert Meertens - 1998
15 When Do Datatypes Commute? – Paul Hoogendijk, Roland Backhouse - 1997
84 Generic programming: An introduction – Patrik Jansson, Johan Jeuring, Lambert Meertens - 1999
Reductivity – Henk Doornbos, Roland Backhouse - 1995
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
28 Polytypic Pattern Matching – Johan Jeuring - 1995
5 Mathematics of Recursive Program Construction – Henk Doornbos, Roland Backhouse - 2001
13 Polytypic Functions Over Nested Datatypes – Ralf Hinze - 1999
3 An Exercise in Polytypic Program Derivation: repmin – Oege De Moor - 1996
4 What is a Data Type? – Paul Hoogendijk, Oege De Moor - 1996
13 A Generic Program for Sequential Decision Processes – Oege De Moor - 1995