The Yoneda Reduction of Polymorphic Types.

Paolo Pistone, Luca Tranchini

Browse the full CSL paper archive.