Polytypic Values Possess Polykinded Types
Ralf Hinze
Affiliation
Institut für Informatik III‚ Universität Bonn‚ Römerstraße 164‚ 53117 Bonn‚ Germany
Book Title
Proceedings of the Fifth International Conference on Mathematics of Program Construction (MPC '00)
Editor
Backhouse‚ Roland and Oliveira‚ José
Location
Ponte de Lima‚ Portugal
Month
jul
Pages
2−27
Publisher
Springer Berlin / Heidelberg
Series
Lecture Notes in Computer Science
Volume
1837
Year
2000