Syntactically Restricting Bounded Polymorphism for Decidable Subtyping.

Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves

Browse the full APLAS paper archive.