Type safety

INFO

(Type theory, Language feature/design, Semantics) According to Robert (Bob) Harper, the coherence between Static semantics and Dynamic semantics.