Universe Polymorphism: Subtyping and Unification Matthieu Sozeau Project Team πr 2 INRIA - Subtyping - Document - PDFSEARCH.IO

First Page	Meta Content
	Universe Polymorphism: Subtyping and Unification Matthieu Sozeau Project Team πr 2 INRIA & PPS, Paris 7 Add to Reading List Document Date: 2014-01-16 05:12:23 Open Document File Size: 459,12 KB Share Result on Facebook City Paris / / Person Martin-Lo I Replicates Russell / Matthieu Sozeau / / SocialTag Computing Polymorphism Data types Functional programming Subtype polymorphism Bounded quantification System F Inheritance Unification Software engineering

Universe Polymorphism: Subtyping and Unification Matthieu Sozeau Project Team πr 2 INRIA & PPS, Paris 7Add to Reading List