Show
Sort by
-
Tabling as a Library with Delimited Control
-
- Journal Article
- A1
- open access
Tabling with sound answer subsumption
-
- Journal Article
- A1
- open access
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
TOR: modular search with hookable disjunction
-
Heuristics entwined with handlers combined: from functional specification to logic programming implementation
-
Search combinators
-
Meta-theory à la carte
-
Meta-theory à la carte
-
Understanding idiomatic traversals backwards and forwards
-
- Journal Article
- A1
- open access
Delimited continuations for Prolog
-
Generic datatypes a la carte
-
Modular monadic meta-theory
-
- Miscellaneous
- open access
Tor: modular search with hookable disjunction
-
- Miscellaneous
- open access
Delimited continuations in Prolog: semantics, use, and implementation in the WAM
(2013)