Principal type specialisation.

Pablo E. Martnez Lpez, John Hughes

Browse the full PEPM paper archive.