Parametric Polymorphism - Universally.

Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo

Browse the full WoLLIC paper archive.