Conference Proceedings

Type processing by constraint reasoning

Peter J Stuckey, Martin Sulzmann, Jeremy Wazny, N Kobayashi

PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS | SPRINGER-VERLAG BERLIN | Published : 2006

Citation metrics

7Web of Science
8Scopus

Keywords

Computer Science, Software Engineering
Science & Technology
Computer Science
Computer Science, Theory & Methods
Computer Software
Technology