Pages that link to "Item:Q1400717"

The following pages link to The subtyping problem for second-order types is undecidable. (Q1400717):

Displaying 4 items.

• A language for generic programming in the large (Q532409) (← links)
• Typability and type checking in System F are equivalent and undecidable (Q1302292) (← links)
• Subtyping recursion and parametric polymorphism in kernel Fun (Q1780453) (← links)
• Intersection, Universally Quantified, and Reference Types (Q3644750) (← links)