Konstantin Läufer
Konstantin Läufer
about
blog
contact
publications
research
teaching
Light
Dark
Automatic
Combining Type Classes and Existential Types
Konstantin Läufer
September, 1994
PDF
Cite
Type
Conference paper
Publication
Proc. Latin American Informatics Conf. (PANEL)
Cite
×