文献
J-GLOBAL ID:200902174718349893
整理番号:93A0779274
スタックに基づく言語の型推論
Type Inference in Stack Based Languages.
著者 (2件):
STODDART B
(Univ. Teesside, Cleveland, GBR)
,
KNAGGS P J
(Univ. Teesside, Cleveland, GBR)
資料名:
Formal Aspects of Computing
(Formal Aspects of Computing)
巻:
5
号:
4
ページ:
289-298
発行年:
1993年07月
JST資料番号:
T0973A
ISSN:
0934-5043
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
ドイツ (DEU)
言語:
英語 (EN)