"Typed Object-Oriented Functional Programming with Late Binding."

Zhenyu Qian, Bernd Krieg-Brückner (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics