G. Bellè, C.B. Jay, and E. Moggi. Functorial ML. In PLILP'96, volume 1140 of LNCS. Springer-Verlag, 1996.

R.S. Bird. An introduction to the theory of lists. In M. Broy, editor, Logic of Programming and Calculi of Discrete Design, volume F36 of NATO ASI Series, pages 5-42. Springer-Verlag, 1987.

Robin Cockett and Tom Fukushima. About Charity. Yellow Series Report No. 92/480/18, Dep. of Computer Science, Univ. of Calgary, 1992.

M.M. Fokkinga. Monadic maps and folds for arbitrary datatypes. Memoranda Informatica 94-28, University of Twente, June 1994.

E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns -- Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.

Paul Hoogendijk and Roland Backhouse. When do datatypes commute? In Category Theory and Computer Science, LNCS 1290, pages 242-260, 1997.

Marieke Huisman. The calculation of a polytypic parser. Master's thesis, Utrecht University, 1996. INF/SRC-96-19.

P. Jansson and J. Jeuring. PolyP - a polytypic programming language extension. In POPL'97, pages 470-482. ACM Press, 1997.

P. Jansson and J. Jeuring. Polytypic unification. JFP, 1998. In press.

Patrik Jansson. Functional polytypic programming --- use and implementation. Technical report, Chalmers Univ. of Tech., Sweden, 1997. Lic. thesis. Available from tt http://www.cse.chalmers.se/~patrikj/lic/.

C.B. Jay, G. Bellè, and E. Moggi. Functorial ML. Unpublished extended version of [1], 1997.

J. Jeuring and P. Jansson. Polytypic programming. In AFP'96, volume 1129 of LNCS, pages 68-114. Springer-Verlag, 1996.

J. Jeuring. Polytypic pattern matching. In FPCA'95, pages 238-248. ACM Press, 1995.

G. Malcolm. Homomorphisms and promotability. In J.L.A. van de Snepscheut, editor, Mathematics of Program Construction, pages 335-347. Springer-Verlag, 1989. LNCS 375.

G. Malcolm. Data structures and program transformation. Science of Computer Programming, 14:255-279, 1990.

L. Meertens. Algorithmics --- towards programming as a mathematical activity. In Proceedings of the CWI Symposium on Mathematics and Computer Science, volume 1 of CWI Monographs, pages 289-334. North-Holland, 1986.

L. Meertens. Paramorphisms. Formal Aspects of Computing, 4(5):413-425, 1992.

L. Meertens. Calculate polytypically! In PLILP'96, volume 1140 of LNCS, pages 1-16. Springer Verlag, 1996.

E. Meijer and J. Jeuring. Merging monads and folds for functional programming. In AFP'95, LNCS 925, pages 228-266. Springer-Verlag, 1995.

Fritz Ruehr. Analytical and Structural Polymorphism Expressed Using Patterns Over Types. PhD thesis, University of Michigan, 1992.

Tim Sheard. Automatic generation and use of abstract structure operators. ACM TOPLAS, 13(4):531-557, 1991.

Måns Vestin. Genetic algorithms in Haskell with polytypic programming. Master's thesis, Göteborg University, Gothenburg, Sweden, 1997. Available from http://www.cse.chalmers.se/~patrikj/poly/others/geneticalgorithmsinhaskellwithpolytypicprogramming.ps.gz.