Compiling High-Level Type Constructors in Constraint Programming.

Pierre Flener, Brahim Hnich, Zeynep Kiziltan

Browse the full PADL paper archive.