Tag | logic

  1. Soundness and Completeness of the Type System

    In the section 6 of Programming Languages course, Dan Grossman discussed about the soundness and the completeness of the type system. He said that:

    • A type-system is sound implies that all of type-checked programs are correct (in the other words, all of the incorrect program can't be type checked), i …