Konstantin Läufer
Konstantin Läufer
about
blog
contact
publications
research
teaching
Light
Dark
Automatic
An Extension of ML with First-Class Abstract Types
Konstantin Läufer
,
Martin Odersky
June, 1992
PDF
Cite
Type
Conference paper
Publication
Proc. ACM SIGPLAN Workshop on ML and its Applications
Cite
×