Polytypism and polytypic unification
Patrik Jansson · Chalmers Publication Library (Chalmers University of Technology) · 1995
This report describes what polytypic programming is, a new system for writing polytypic functions, and a number of useful example functions including generalised versions of map, zip and a specific lazy array based unification algorithm.