Object-Oriented Functional Programming and Type Reconstruction.

Zhenyu Qian, Bernd Krieg-Brckner

Browse the full COMPASS paper archive.