Pages that link to "Item:Q656871"
From MaRDI portal
The following pages link to Making ``stricterness'' more relevant (Q656871):
Displaying 4 items.
- Making ``stricterness'' more relevant (Q656871) (← links)
- Refined typing to localize the impact of forced strictness on free theorems (Q766167) (← links)
- Derivation and inference of higher-order strictness types (Q1749138) (← links)
- Modular, higher order cardinality analysis in theory and practice (Q5372006) (← links)