Combining Type Classes and Existential Types

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