Type Processing by Constraint Reasoning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny. Type Processing by Constraint Reasoning. In Naoki Kobayashi, editor, Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings. Volume 4279 of Lecture Notes in Computer Science, pages 1-25, Springer, 2006. [doi]

This author has not been identified. Look up 'Peter J. Stuckey' in GoogleThis author has not been identified. Look up 'Martin Sulzmann' in GoogleThis author has not been identified. Look up 'Jeremy Wazny' in Google

runs on WebDSL