Pages that link to "Item:Q5398293"
From MaRDI portal
The following pages link to Delimited continuations for prolog (Q5398293):
Displaying 6 items.
- PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control (Q1726305) (← links)
- Executable Relational Specifications of Polymorphic Type Systems Using Prolog (Q2798266) (← links)
- Efficient algebraic effect handlers for Prolog (Q4593065) (← links)
- (Q5020559) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)
- Disjunctive delimited control (Q6102252) (← links)