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
5 Mathematics of Recursive Program Construction – Henk Doornbos, Roland Backhouse - 2001
15 When Do Datatypes Commute? – Paul Hoogendijk, Roland Backhouse - 1997
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
41 Calculate Polytypically! – Lambert Meertens - 1996
92 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
11 Programming With Types – Stephanie Claudene Weirich - 2002
– Generic programming at Utrecht – – Johan Jeuring, Lambert Meertens, Johan Jeuring, Lambert Meertens - 2009