Lightweight Higher-Kinded Polymorphism.

Jeremy Yallop, Leo White

Browse the full FLOPS paper archive.