Polytypism and polytypic unification

Typ
Examensarbete för masterexamen
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
Citation
Arkitekt (konstruktör)
Geografisk plats
Byggnad (typ)
Byggår
Modelltyp
Skala
Teknik / material
Index