Pages that link to "Item:Q4577822"
From MaRDI portal
The following pages link to The adequacy of Launchbury's natural semantics for lazy evaluation (Q4577822):
Displaying 7 items.
- Preliminary arrangements of arguments in lazy evaluation (Q756403) (← links)
- An operational semantics of sharing in lazy evaluation (Q1126266) (← links)
- A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation (Q2915102) (← links)
- The Role of Indirections in Lazy Natural Semantics (Q3455082) (← links)
- Parberry’s pairwise sorting network revealed (Q4625162) (← links)
- Generic Authenticated Data Structures, Formally. (Q5875417) (← links)
- Formal verifications of call-by-need and call-by-name evaluations with mutual recursion (Q6536314) (← links)