(Q7226600)

English

Polymorphic recursion

recursive parametrically polymorphic function

Milner–Mycroft typability
Milner–Mycroft calculus

In more languages

Statements

programming language

1 reference

imported from Wikimedia project

English Wikipedia

Identifiers

0 references

Microsoft Academic ID

0 references

Sitelinks

Wikipedia(1 entry)

enwiki Polymorphic recursion

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

Retrieved from "https://www.wikidata.org/w/index.php?title=Q7226600&oldid=1355834731"