Parametric polymorphism

#	Item
41	Set-theoretic Foundation of Parametric Polymorphism and Subtyping Giuseppe Castagna1 Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2012-05-16 06:05:46 Theoretical computer science Data types Computing Models of computation Formal methods Subtype polymorphism Lambda calculus Type system Polymorphism Software engineering Type theory Object-oriented programming
42	Functional programming and type systems Master Parisien de Recherche en Informatique (MPRI) Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2013-01-17 19:26:45 Programming language theory Object-oriented programming Data types Polymorphism Lambda calculus Subtype polymorphism Type system Liskov substitution principle Parametric polymorphism Type theory Software engineering Theoretical computer science
43	PDF Document Add to Reading List Source URL: lucacardelli.name Language: English - Date: 2007-10-27 10:02:33 Computing Data types Procedural programming languages Generic programming C++ Type system ALGOL 68 Parametric polymorphism Kind Programming language theory Software engineering Type theory
44	PDF Document Add to Reading List Source URL: lucacardelli.name Language: English - Date: 2007-10-27 08:53:19 Programming language theory Data types Type inference Parametric polymorphism Type variable Type system Polymorphism Hindley–Milner ML Software engineering Type theory Computing