The following pages link to (Q5472909):
Displaying 5 items.
- Making ``stricterness'' more relevant (Q656871) (← links)
- Refined typing to localize the impact of forced strictness on free theorems (Q766167) (← links)
- A family of syntactic logical relations for the semantics of Haskell-like languages (Q1012131) (← links)
- Selective strictness and parametricity in structural operational semantics, inequationally (Q2464947) (← links)
- Semantics and Pragmatics of New Shortcut Fusion Rules (Q5458435) (← links)