Efficient Type Reconstruction in the Presence of Inheritance.

Marcin Benke

Browse the full MFCS paper archive.