A Categorical Treatment of Polymorphic Operations.

John W. Gray

Browse the full MFPS paper archive.