Generic programming: An introduction (1999)

Cached

Download Links

by Patrik Jansson , Johan Jeuring , Lambert Meertens
Venue:3rd International Summer School on Advanced Functional Programming
Citations:84 - 20 self

Active Bibliography

5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
4 PolyLib - a library of polytypic functions – Patrik Jansson, Johan Jeuring - 1998
6 Final Dialgebras: From Categories to Allegories – Roland Backhouse, Paul Hoogendijk - 1999
4 Inductive Datatypes with Laws and Subtyping – A Relational Model – Theodorus Sebastiaan Voermans
5 Mathematics of Recursive Program Construction – Henk Doornbos, Roland Backhouse - 2001
15 When Do Datatypes Commute? – Paul Hoogendijk, Roland Backhouse - 1997
41 Calculate Polytypically! – Lambert Meertens - 1996
93 Polytypic programming – Patrik Jansson - 2000
4 Monads, Shapely Functors and Traversals – E. Moggi, G. Bellè, C. B. Jay - 1999
1 Functors, Types and Shapes – Barry Jay, Eugenio Moggi - 1998
2 Towards polytypic parallel programming – Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki - 1998
9 Diffusion: Calculating Efficient Parallel Programs – Zhenjiang Hu , Masato Takeichi, Hideya Iwasaki - 1999
20 Comparing Libraries for Generic Programming in Haskell – Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira - 2008
1 Experiments with Generic Visitors – Jens Palsberg, C. Barry Jay, J. Noble
40 A Generic Programming Extension for Haskell – Ralf Hinze - 1999
58 A tutorial on the universality and expressiveness of fold – Graham Hutton - 1999
1 Comparing Approaches to Polytypic Programming – Joost Halenbeek - 1999
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