http://obfusco.com/tmp/popl06-hybrid.pdf Dynamic Checking と (Static)Type Checking の中間くらいって最初に図に書いてあるけど、Soft Typing とどう違うんだろう。参考文献に Fagan の論文があるから、たぶん発展系なんだとは思うが……。