KDb's SQL type checker is an annotating checker.
http://www.cse.chalmers.se/edu/year/2011/course/TIN321/lectures/proglang-07.html
Description
Description
KDb's SQL type checker is an annotating checker.
http://www.cse.chalmers.se/edu/year/2011/course/TIN321/lectures/proglang-07.html