Typed Object-Oriented Functional Programming with Late Binding.

Zhenyu Qian, Bernd Krieg-Brckner

Browse the full ECOOP paper archive.