Type processing by constraint reasoning (2006)

by Peter J. Stuckey , Martin Sulzmann , Jeremy Wazny
Venue:Pages 1–25 of: Proc. of APLAS’06. LNCS
Citations:5 - 1 self