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
1
Publication
Proc. Latin American Informatics Conf. (PANEL)
Cite
×