Polymorphic recursion
recursive parametrically polymorphic function
Aliases: Milner–Mycroft typability, Milner–Mycroft calculus
Wikidata: Q7226600
Search on GitHub
| Name | Description | Last pushed to | Open issues | Forks | Stars | Size |
|---|
Latest data update: 2021-02-06