Statistics
Publications
14
Citations
550
H-Index
11
Active since
1994
Affiliations
Loyola University Chicago(Current)
Konstantin Läufer is an author at Loyola University Chicago specializing in computing, computer science, and programming languages.
Publications per year
1994–2019
14
14
Putting type annotations to work
Martin Odersky, Konstantin Läufer · 1996 · 165 citations · Full text
Sisl: Several Interfaces, Single Logic
Thomas Ball, Christopher Colby, Peter J. Danielsen et al. · International Journal of Speech Technology · 2000 · 53 citations · Full text
Safe Structural Conformance for Java
Konstantin Läufer · The Computer Journal · 2000 · 43 citations
Type classes with existential types
Konstantin Läufer · Journal of Functional Programming · 1996 · 39 citations · Full text
1–5 of 14