1

Putting Type Annotations to Work
Martin Odersky, Konstantin Läufer
PDF Cite DOI URL
Interactive Web Applications Based on Finite State Machines (Invited Talk)
Konstantin Läufer
PDF Cite
A Framework for Higher-Order Functions in C++
Konstantin Läufer
PDF Cite URL
Combining Type Classes and Existential Types
Konstantin Läufer
PDF Cite
Self-Interpretation and Reflection in a Statically Typed Language
Konstantin Läufer, Martin Odersky
PDF Cite
An Extension of ML with First-Class Abstract Types
Konstantin Läufer, Martin Odersky
PDF Cite
Programming with Structures, Functions, and Objects
Fritz Henglein, Konstantin Läufer
PDF Cite
Type Classes are Signatures of Abstract Types
Konstantin Läufer, Martin Odersky
PDF Cite DOI URL