Pages that link to "Item:Q1124368"
From MaRDI portal
The following pages link to The semantics of lazy functional languages (Q1124368):
Displaying 10 items.
- On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation (Q428886) (← links)
- An operational semantics of sharing in lazy evaluation (Q1126266) (← links)
- A new programming technique for lazy functional languages (Q1892182) (← links)
- Side-effect localization for lazy, purely functional languages via aspects (Q1929361) (← links)
- A functional correspondence between call-by-need evaluators and lazy abstract machines (Q2390256) (← links)
- A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation (Q2915102) (← links)
- (Q3430686) (← links)
- (Q4381711) (← links)
- The correctness of a higher-order lazy functional language implementation: An exercise in mechanical theorem proving (Q4645809) (← links)
- Purely functional lazy nondeterministic programming (Q4918241) (← links)