Konstantin Läufer
Konstantin Läufer
about
blog
contact
publications
research
teaching
Light
Dark
Automatic
7
Polymorphic Type Inference and Abstract Data Types
K. Läufer
PDF
Cite
Cite
×