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
2
Publication
J. Funct. Program.
Cite
×