Pages that link to "Item:Q2943366"
From MaRDI portal
The following pages link to An operational semantics for parallel lazy evaluation (Q2943366):
Displaying 9 items.
- Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi (Q964003) (← links)
- An operational semantics of sharing in lazy evaluation (Q1126266) (← links)
- Trends in trends in functional programming 1999/2000 versus 2007/2008 (Q1929344) (← links)
- Lenient evaluation and parallelism (Q2745735) (← links)
- Using Maude and its strategies for defining a framework for analyzing Eden semantics (Q2866804) (← links)
- A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation (Q2915102) (← links)
- The Role of Indirections in Lazy Natural Semantics (Q3455082) (← links)
- The adequacy of Launchbury's natural semantics for lazy evaluation (Q4577822) (← links)
- To be or not to be …lazy (In a Parallel Context) (Q5170189) (← links)