参考資料

⇒Advanced Topics in Types and Programming Languages by Benjamin C. Pierce

⇒Type System Terminology

Meijer, Erik and Peter Drayton. " ⇒Static Typing Where Possible, Dynamic Typing When Needed: The End of the Cold War Between Programming Languages". Microsoft Corporation. 2007-03-08 閲覧。

関連項目

データ型

多重定義

再帰データ型
カテゴリ: データ型 | 型理論

更新日時:2008年10月21日(火)02:47
取得日時:2008/11/07 03:31