Show 10 5 10 15 20 50 100 250 Sort by year (new to old) Actions Download search results Subscribe to news feed Your filters: cql: keyword exact "CONSTRAINT HANDLING RULES" Add to list Journal Article A1 SWI-Prolog Jan Wielemaker, Tom Schrijvers (UGent) , Markus Triska and Torbjörn Lager (2012) THEORY AND PRACTICE OF LOGIC PROGRAMMING. 12(1-2). p.67-96 Add to list Book Chapter The K.U.Leuven CHR system Tom Schrijvers (UGent) (2011) Constraint handling rules : compilation, execution, and analysis. p.71-88 Add to list Book Chapter Abstract interpretation Tom Schrijvers (UGent) (2011) Constraint handling rules : compilation, execution, and analysis. p.283-310 Add to list Journal Article A1 OUTSIDEIN(X) : modular type inference with local assumptions Dimitrios Vytiniotis, Simon Peyton Jones, Tom Schrijvers (UGent) and Martin Sulzmann (2011) JOURNAL OF FUNCTIONAL PROGRAMMING. 21(4-5). p.333-412