In English

Polytypism and polytypic unification

Patrik Jansson
Göteborg : Chalmers tekniska högskola, 1995. 38 s. Technical report - Department of Computing Science, Chalmers University of Technology and Göteborg University, ISSN 1650-3023, 1995.
[Examensarbete på avancerad nivå]

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.

Nyckelord: generic, Haskell, programming, program generation



Publikationen registrerades 2006-10-09. Den ändrades senast 2014-09-02

CPL ID: 10118

Detta är en tjänst från Chalmers bibliotek