Combining Type Classes and Existential Types

Publication
Proc. Latin American Informatics Conf. (PANEL)