Skip to main content

Polytypic values possess polykinded types

Ralf Hinze

Institution
Institut für Informatik III‚ Universität Bonn
Month
dec
Number
IAI−TR−99−15
Year
1999