文献
J-GLOBAL ID:200902161261843000
整理番号:94A0439751
効率的な再帰的部分型付け
Efficient Recursive Subtyping.
著者 (3件):
KOZEN D
(Cornell Univ., New York, USA)
,
PALSBERG J
(Aarhus Univ., Aarhus, DNK)
,
SCHWARTZBACH M I
(Aarhus Univ., Aarhus, DNK)
資料名:
Conference Record of the Annual ACM Symposium on Principles of Programming Languages
(Conference Record of the Annual ACM Symposium on Principles of Programming Languages)
巻:
20th
ページ:
419-428
発行年:
1993年
JST資料番号:
D0069B
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)