Pages that link to "Item:Q2936782"
From MaRDI portal
The following pages link to Backtracking, interleaving, and terminating monad transformers (Q2936782):
Displaying 12 items.
- Resourceful program synthesis from graded linear types (Q2119110) (← links)
- Scheduling complexity of interleaving search (Q2163166) (← links)
- A functional account of probabilistic programming with possible worlds. Declarative pearl (Q2163171) (← links)
- A static simulation of dynamic delimited control (Q2464731) (← links)
- Kleene Monads: Handling Iteration in a Framework of Generic Effects (Q2888474) (← links)
- Transactional events (Q3546046) (← links)
- Algebras for combinatorial search (Q3638924) (← links)
- (Q5013826) (← links)
- (Q5377471) (← links)
- α lean TA P: A Declarative Theorem Prover for First-Order Classical Logic (Q5504659) (← links)
- (Q5875361) (← links)
- Asymptotic speedup via effect handlers (Q6561531) (← links)
