polymorphic type system
C26025
concept
A polymorphic type system is a type system that allows functions, data structures, or expressions to be written generically so they can operate uniformly on values of multiple (often unspecified or parameterized) types.
Observed surface forms (4)
| Surface form | Occurrences |
|---|---|
| typed lambda calculus | 2 |
| polymorphic lambda calculus | 1 |
| polymorphically typed lambda calculus | 1 |
| type system construct | 1 |
Instances (5)
| Instance | Via concept surface |
|---|---|
| Hindley–Milner type system | — |
| Python generic class definitions | type system construct |
|
system F
surface form:
System F
|
typed lambda calculus |
| HM type system | — |
| System F | typed lambda calculus |