Polytypic values possess polykinded types

Dettagli Bibliografici
Autore principale: Hinze, R
Natura: Report
Pubblicazione: Institut für Informatik III‚ Universität Bonn 1999