1994年
A Normalizing Calculus with Overloading and Subtyping
2nd Int. Symp. on Theoretical Aspects of Computer Software, LNCS 789, /,273--295
- 記述言語
- 英語
- 掲載種別
- 研究論文（国際会議プロシーディングス）
立木 秀樹
ツイキ ヒデキ (Hideki Tsuiki)
更新日: 01/31