Pages that link to "Item:Q2915133"
From MaRDI portal
The following pages link to Unifying Lazy and Strict Computations (Q2915133):
Displaying 9 items.
- An algebraic approach to computations with progress (Q299188) (← links)
- Multirelations with infinite computations (Q406449) (← links)
- Hopscotch -- reaching the target hop by hop (Q406451) (← links)
- Imperative abstractions for functional actions (Q604455) (← links)
- Algebras for iteration and infinite computations (Q715050) (← links)
- Delaying unification algorithms for lambda calculi (Q1104776) (← links)
- Infinite executions of lazy and strict computations (Q2347906) (← links)
- (Q3148334) (← links)
- Lazy UTP (Q3585024) (← links)