Combining Type Classes and Existential Types

Konstantin Läufer
September, 1994
PDF Cite
Type
Conference paper
Publication
Proc. Latin American Informatics Conf. (PANEL)