J-GLOBAL ID:200902165153752223整理番号:99A0161307
Type Inference for First-Class Messages with Feature Constraints.
特徴制約を有する第一クラスメッセージの型推論
著者:MUELLER M(Univ. Saarlandes, Saarbruecken, DEU)、NISHIMURA S(Kyoto Univ., Kyoto, JPN)
資料名:Lect Notes Comput Sci 巻:1538 ページ:169-187
発行年:1998年
資料名:Lect Notes Comput Sci 巻:1538 ページ:169-187
発行年:1998年