文献
J-GLOBAL ID:202002270479053966
整理番号:20A2638425
オブジェクト初期化のための型および効果システム【JST・京大機械翻訳】
A type-and-effect system for object initialization
著者 (5件):
Liu Fengyun
(EPFL, Switzerland)
,
Lhotak Ondrej
(University of Waterloo, Canada)
,
Biboudis Aggelos
(EPFL, Switzerland)
,
Giarrusso Paolo G.
(Delft University of Technology, Netherlands)
,
Odersky Martin
(EPFL, Switzerland)
資料名:
Proceedings of the ACM on Programming Languages
(Proceedings of the ACM on Programming Languages)
巻:
4
号:
OOPSLA
ページ:
1-28
発行年:
2020年
JST資料番号:
W5683A
ISSN:
2475-1421
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)