Polymorphic recursion (Q7226600)
Jump to navigation
Jump to search
recursive parametrically polymorphic function
- Milner–Mycroft typability
- Milner–Mycroft calculus
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Polymorphic recursion |
recursive parametrically polymorphic function |
|
Statements
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki Polymorphic recursion