From Monomorphic to Polymorphic Well-Typings and Beyond.

Tom Schrijvers, Maurice Bruynooghe, John P. Gallagher

Browse the full LOPSTR paper archive.