An Exercise in Polytypic Program Derivation: repmin (1996)

Cached

Download Links

by Oege De Moor
Citations:3 - 0 self

Active Bibliography

4 What is a Data Type? – Paul Hoogendijk, Oege De Moor - 1996
6 Final Dialgebras: From Categories to Allegories – Roland Backhouse, Paul Hoogendijk - 1999
84 Generic programming: An introduction – Patrik Jansson, Johan Jeuring, Lambert Meertens - 1999
79 Nested datatypes – Richard Bird, Lambert Meertens - 1998
4 PolyLib - a library of polytypic functions – Patrik Jansson, Johan Jeuring - 1998
9 Diffusion: Calculating Efficient Parallel Programs – Zhenjiang Hu , Masato Takeichi, Hideya Iwasaki - 1999
5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
2 Towards polytypic parallel programming – Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki - 1998
15 When Do Datatypes Commute? – Paul Hoogendijk, Roland Backhouse - 1997
Yet Another Generic Haskell – Ralf Lämmel, Joost Visser
12 Container Types Categorically – Paul Hoogendijk, Oege De Moor - 2000
12 Universal regular path queries – Oege De Moor, David Lacey, Eric Van Wyk - 2003
4 Beyond Fun: Order and Membership in Polytypic Imperative Programming – David A. Naumann - 1997
13 A Generic Program for Sequential Decision Processes – Oege De Moor - 1995
2 "Explosive" Programming Controlled by Calculation – J. N. Oliveira - 1998
10 Generic Accumulations – Alberto Pardo - 2002
2 Functor Pulling – Lambert Meertens - 1998
25 Polytypic Data Conversion Programs – Patrik Jansson, Johan Jeuring - 2001
3 Covariant Types – C. Barry Jay - 1997