Polytypism and polytypic unification

My Master's Thesis is about polytypic functions and the automatic generation of instances of these for different datatypes. I define map, zip, unzip, flatten, cata, ana, hylo and unify.

( My Master's Thesis (compressed PostScript) with a gofer file (examples.gs). )

Last modified: Thu Aug 12 16:55:20 MET DST 1999 by

Patrik Jansson / NOpatrikjSP@AMchalmers.se