Polytypism and polytypic unification
Typ
Examensarbete för masterexamen
Master Thesis
Master Thesis
Program
Publicerad
1995
Författare
Jansson, Patrik
Modellbyggare
Tidskriftstitel
ISSN
Volymtitel
Utgivare
Sammanfattning
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.
Beskrivning
Ämne/nyckelord
Teoretisk datalogi , Datalogi , Theoretical computer science , Computer science