论文信息 - Error Detection with Soft Typing for Dynamically Typed Languages - 字舞流文

Error Detection with Soft Typing for Dynamically Typed Languages

Masahiko Sakai | Toshiki Sakabe | Keiichirou Kusakari | Naoki Nishida | Akihisa Yamada | 山田晃久 | 酒井正彦 | 西田直樹 | 坂部俊樹 | 草刈圭一朗 | A. Yamada | Naoki Nishida | Keiichirou Kusakari | Masahiko Sakai | Toshiki Sakabe | 山田晃久 | 草刈圭一朗 | 酒井正彦 | 坂部俊樹 | 西田直樹

[1] A practical soft type system for scheme , 1997, TOPL.