@article{oai:nagoya.repo.nii.ac.jp:00019051,
 author = {YAMADA, Akihisa and KUSAKARI, Keiichirou and SAKAI, Masahiko and SAKABE, Toshiki and NISHIDA, Naoki and 山田, 晃久 and 草刈, 圭一朗 and 酒井, 正彦 and 坂部, 俊樹 and 西田, 直樹},
 issue = {505},
 journal = {電子情報通信学会技術研究報告SS, ソフトウェアサイエンス},
 month = {Feb},
 note = {LISPのような動的型言語のための柔らかい型の表現力豊かな拡張を提案し,その健全性を示す.この拡張では特に,常に型エラーを起こす式を表す「エラー型」と言う特殊な型を導入する.エラー型を含まない型を持つ式では、実行時の型チェックを省くことが出来る.逆にエラー型そのものが付く式は必ずエラーを引き起こすことがわかるので,このような式はコンパイル時に排除することが出来る., We propose a rich extension of soft typing for dynamically-typed languages like LISP, and prove its soundness. This extension, for example, introduces a special type called "error-type", which denotes a type of such an expression whose evaluation always causes a type error. If an expression is typed without using the "error-type", it means that no runtime check is necessary. Conversely, "error-typed" expressions should be rejected at compile-time, since their evaluation always causes an error.},
 pages = {7--12},
 title = {Error Detection with Soft Typing for Dynamically Typed Languages},
 volume = {107},
 year = {2008}
}