pith. sign in

Tom Schrijvers

Identifiers

  • name variant Tom Schrijvers 0.60 · backfill

Papers (16)

  1. Coherence of Type Class Resolution cs.PL · 2019 · author #4
  2. Bidirectional Type Class Instances (Extended Version) cs.PL · 2019 · author #4
  3. Efficient Algebraic Effect Handlers for Prolog cs.PL · 2016 · author #2
  4. Tabling with Sound Answer Subsumption cs.PL · 2016 · author #4
  5. Proof Relevant Corecursive Resolution cs.LO · 2015 · author #3
  6. Integrating Datalog and Constraint Solving cs.PL · 2013 · author #2
  7. Extended Report: The Implicit Calculus cs.PL · 2012 · author #2
  8. Search Combinators cs.AI · 2012 · author #1
  9. Approximating Constraint Propagation in Datalog cs.PL · 2011 · author #3
  10. SWI-Prolog cs.PL · 2010 · author #2
  11. As time goes by: Constraint Handling Rules - A survey of CHR research from 1998 to 2007 cs.PL · 2009 · author #3
  12. TCHR: a framework for tabled CLP cs.PL · 2007 · author #1
  13. Improving Prolog programs: Refactoring for Prolog cs.SE · 2007 · author #2
  14. Improving PARMA Trailing cs.PL · 2005 · author #1
  15. Optimal Union-Find in Constraint Handling Rules cs.PL · 2005 · author #1
  16. Improving Prolog Programs: Refactoring for Prolog cs.SE · 2004 · author #1

Mentions

  • 1307.4635 #2 · backfill · confidence 0.70 Tom Schrijvers
  • 1203.4499 #2 · backfill · confidence 0.70 Tom Schrijvers
  • 1203.1095 #1 · backfill · confidence 0.70 Tom Schrijvers
  • 1112.3787 #3 · backfill · confidence 0.70 Tom Schrijvers
  • 1011.5332 #2 · backfill · confidence 0.70 Tom Schrijvers
  • 0906.4474 #3 · backfill · confidence 0.70 Tom Schrijvers
  • 0712.3830 #1 · backfill · confidence 0.70 Tom Schrijvers

Frequent Coauthors