Comprehensive Parametric Polymorphism: Categorical Models and Type Theory.

Neil Ghani, Fredrik Nordvall Forsberg, Alex Simpson

Browse the full FOSSACS paper archive.