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