Pages that link to "Item:Q4592987"
From MaRDI portal
The following pages link to Tabling as a library with delimited control (Q4592987):
Displaying 6 items.
- PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control (Q1726305) (← links)
- Table space designs for implicit and explicit concurrent tabled evaluation (Q4559837) (← links)
- Efficient algebraic effect handlers for Prolog (Q4593065) (← links)
- Parallel Logic Programming: A Sequel (Q6063892) (← links)
- Disjunctive delimited control (Q6102252) (← links)
- Lightweight functional logic meta-programming (Q6536317) (← links)