Pages that link to "Item:Q5096210"
From MaRDI portal
The following pages link to Type inference in polymorphic type discipline (Q5096210):
Displayed 3 items.
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Type reconstruction in finite rank fragments of the second-order \(\lambda\)-calculus (Q1193590) (← links)
- Typability and type checking in System F are equivalent and undecidable (Q1302292) (← links)