Pages that link to "Item:Q1126266"
From MaRDI portal
The following pages link to An operational semantics of sharing in lazy evaluation (Q1126266):
Displaying 5 items.
- Properties of a first-order functional language with sharing (Q673126) (← links)
- Complete laziness: a natural semantics (Q2873681) (← links)
- A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation (Q2915102) (← links)
- Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion (Q4921510) (← links)
- Program equivalence in a typed probabilistic call-by-need functional language (Q6052951) (← links)