The following pages link to The Essence of Multitasking (Q3623932):
Displaying 4 items.
- The coinductive resumption monad (Q283770) (← links)
- A coinductive calculus for asynchronous side-effecting processes (Q393094) (← links)
- A Coinductive Calculus for Asynchronous Side-Effecting Processes (Q3088290) (← links)
- Effect polymorphism in higher-order logic (proof pearl) (Q5919584) (← links)