Conference Proceedings

Type processing by constraint reasoning

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

Programming Languages and Systems | SPRINGER-VERLAG BERLIN | Published : 2006

University of Melbourne Researchers

Peter Stuckey Author Computing and Information Systems

Citation metrics

6Web of Science

Keywords

Computer Science

Science & Technology

Computer Science, Software Engineering

Computer Science, Theory & Methods