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.
All labels observed (5)
| Label | Occurrences |
|---|---|
| polymorphic type system canonical | 2 |
| typed lambda calculus | 2 |
| polymorphic lambda calculus | 1 |
| polymorphically typed lambda calculus | 1 |
| type system construct | 1 |
Description generation (CDg)
The one-sentence description above was generated by prompting gpt-5.1 with the class name and this instruction.
Instruction
generate a one-sentence description for a given conceptual class. # Response Format Return only the sentence: "Description: [one-sentence description of the conceptional class]"
Input
Class: polymorphic type system
Generated description
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.
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 |