A Predicative Polymorphic Type System for a Calculus of Objects

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文
• 1993-10-00

著者

• Vasaco Thudichum

  Department Of Computer Science Keio Univeresity

関連論文

• A Predicative Polymorphic Type System for a Calculus of Objects

スポンサーリンク