Pages that link to "Item:Q2464947"
From MaRDI portal
The following pages link to Selective strictness and parametricity in structural operational semantics, inequationally (Q2464947):
Displayed 3 items.
- A trajectory-based strict semantics for program slicing (Q960858) (← links)
- A family of syntactic logical relations for the semantics of Haskell-like languages (Q1012131) (← links)
- Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report) (Q5240138) (← links)