文献
J-GLOBAL ID:202202230519219740
整理番号:22A0921265
発生タイピングの再検討【JST・京大機械翻訳】
Revisiting occurrence typing
著者 (4件):
Castagna Giuseppe
(Institut de Recherche en Informatique Fondamentale (IRIF), CNRS - Universite de Paris, France)
,
Lanvin Victor
(Institut de Recherche en Informatique Fondamentale (IRIF), CNRS - Universite de Paris, France)
,
Laurent Mickaeel
(Institut de Recherche en Informatique Fondamentale (IRIF), CNRS - Universite de Paris, France)
,
Nguyen Kim
(Laboratoire de Methodes Formelles (LMF), CNRS - Universite Paris-Saclay, France)
資料名:
Science of Computer Programming
(Science of Computer Programming)
巻:
217
ページ:
Null
発行年:
2022年
JST資料番号:
H0806A
ISSN:
0167-6423
CODEN:
SCPGD4
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)