Zhenyu Qian, Bernd Krieg-Brückner. Typed Object-Oriented Functional Programming with Late Binding. In Pierre Cointe, editor, ECOOP 96 - Object-Oriented Programming, 10th European Conference, Linz, Austria, July 8-12, 1996, Proceedings. Volume 1098 of Lecture Notes in Computer Science, pages 48-72, Springer, 1996. [doi]
Abstract is missing.