型安全
型システムにおける型安全性の性質のこと
en: type safety
aka. type soundness
健全性の方だけなのに注意
ペア
進行定理と保存定理
ref. TaPL
進行定理と保存定理で証明できる
ref. 『TaPL』§8.3, pp. 72–74
資料
Type safety - Wikipedia
型安全性入門
「型」の定義に挑む | POSTD
Against the definition of types - Tomas Petricek
#プログラミング言語理論