Pages that link to "Item:Q2988389"
From MaRDI portal
The following pages link to Unifying Guarded and Unguarded Iteration (Q2988389):
Displaying 7 items.
- Guarded and unguarded coroutines: An implementation in BCPL (Q3314959) (← links)
- (Q4585073) (← links)
- (Q4968384) (← links)
- A semantics for hybrid iteration (Q5009436) (← links)
- Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot (Q5875354) (← links)
- A metalanguage for guarded iteration (Q5918344) (← links)
- Shades of iteration: from Elgot to Kleene (Q6562517) (← links)