Polytypism and polytypic unification
Publicerad
Författare
Typ
Examensarbete för masterexamen
Master Thesis
Master Thesis
Program
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