Polytypic values possess polykinded types

Bibliographic Details
Main Author: Hinze, R
Format: Report
Published: Institut für Informatik III‚ Universität Bonn 1999