Konstantin Läufer
Konstantin Läufer
about
blog
contact
publications
research
teaching
Light
Dark
Automatic
Type Classes with Existential Types
Konstantin Läufer
January, 1996
PDF
Cite
DOI
URL
Type
Journal article
Publication
J. Funct. Program.
Cite
×