Pages that link to "Item:Q5958293"
From MaRDI portal
The following pages link to Strictness, totality, and non-standard-type inference (Q5958293):
Displaying 5 items.
- Making ``stricterness'' more relevant (Q656871) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Derivation and inference of higher-order strictness types (Q1749138) (← links)
- Safety of Nöcker's strictness analysis (Q3520168) (← links)
- Deciding inclusion of set constants over infinite non-strict data structures (Q5441550) (← links)
