Show
Sort by
-
- Journal Article
- A1
- open access
Tabling with sound answer subsumption
-
Tabling as a Library with Delimited Control
-
GADTs meet their match : pattern-matching warnings that account for GADTs, guards, and laziness
-
- Journal Article
- A1
- open access
Tabling as a library with delimited control
-
Heuristics entwined with handlers combined: from functional specification to logic programming implementation
-
- Journal Article
- A1
- open access
TOR: modular search with hookable disjunction
-
Modular monadic meta-theory
-
- Miscellaneous
- open access
Delimited continuations in Prolog: semantics, use, and implementation in the WAM
(2013) -
- Conference Paper
- C1
- open access
Integrating Datalog and Constraint Solving
-
- Journal Article
- A1
- open access
Delimited continuations for Prolog