ComputingComputer ScienceCompilersProgramming LanguagesTheory Of ComputationParameterizationType CheckingType SystemsParametric PolymorphismParametricityPolymorphic CodePolymorphic Type SystemsPolymorphic TypesSubtypingType ConstructorsType Parameterization
A polymorphic function is parametric if it has uniform behavior for all type parameters. This property is useful when writing, reasoning about, and compiling functional programs.
13
Philip Wadler · 1989 · 776 citations
Types, Abstraction and Parametric Polymorphism.
John Reynolds · IFIP Congress · 1983 · 771 citations
An Extension of System F with Subtyping
Luca Cardelli, Simone Martini, John C. Mitchell et al. · Information and Computation · 1994 · 192 citations · Full text
Inheritance as implicit coercion
Val Breazu-Tannen, Thierry Coquand, Carl A. Gunter et al. · Information and Computation · 1991 · 179 citations