文献
J-GLOBAL ID:200902002003459777
整理番号:92A0686384
操作的意味論上の構成的タイプ・システム
Constructing Type Systems over an Operational Semantics.
著者 (1件):
HARPER R
(Carnegie-Mellon Univ., PA, USA)
資料名:
Journal of Symbolic Computation
(Journal of Symbolic Computation)
巻:
14
号:
1
ページ:
71-84
発行年:
1992年07月
JST資料番号:
D0359D
ISSN:
0747-7171
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)