The following pages link to (Q3339256):
Displaying 4 items.
- Obtaining lazy evaluation with continuations in SCHEME (Q911741) (← links)
- A syntactic theory of sequential control (Q1101435) (← links)
- Search algorithms in type theory (Q1575934) (← links)
- Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala (Q5110932) (← links)
