Sciweavers

APLAS
2006
ACM

Type Processing by Constraint Reasoning

14 years 5 months ago
Type Processing by Constraint Reasoning
Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
Added 13 Jun 2010
Updated 13 Jun 2010
Type Conference
Year 2006
Where APLAS
Authors Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
Comments (0)