Hindley–Milner type system

This page lists the items of the Wikipedia article Hindley–Milner type system in their order, and the nodes of Math 2.0 that have them. The text of the article is not on this site. The items come from revision 1344708649, with the assessment B/High.

Outcome	Items
deferred	7
attached	1

The gap signals of the article are S3,S4,S6,S9.

Item	Kind	Name	Outcome	Reason
subject	definition	Hindley–Milner type system	deferred until 2027-05-01	the item has the flag informal (WP9.2)
#3IY7	unknown	Let generalization	deferred until 2027-05-01	the kind of the item is unknown
#4WUS	statement	Extensions	deferred until 2027-05-01	the item has the flag citation-needed (WP9.2)
#S2UT	example	Example	deferred until 2027-05-01	the item has no name of its own, and the write role names it
#SPMQ	proof	Proof obligations	attached
#SSP1	unknown	Algorithm W	deferred until 2027-05-01	the kind of the item is unknown
#T9O9	example	Example	deferred until 2027-05-01	the item has no name of its own, and the write role names it
#YXI0	unknown	Algorithm J	deferred until 2027-05-01	the kind of the item is unknown

Refer to Wikipedia articles and their nodes for the other articles.