Type Processing by Constraint Reasoning.

Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny

Browse the full APLAS paper archive.