research
Constraint Propagation and Explanation over Novel Types by Abstract Compilation
- Publication date
- 1 January 2016
- Publisher
- OASIcs - OpenAccess Series in Informatics. Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)