Polytypic Values Possess Polykinded Types

Bibliographic Details
Main Author: Hinze, R
Format: Conference item
Published: Springer Berlin / Heidelberg 2000