|
叢悠悠 2018年 研究業績一覧 (2件 / 67件)
国際会議発表 (査読有り)
-
Youyou Cong,
Kenichi Asai.
Handling Delimited Continuations with Dependent Types,
The 23rd International Conference on Functional Programming,
Proceedings of the ACM on Programming Languages,
ACM,
2,
ICFP,
Aug. 2018.
公式リンク
-
William J. Bowman,
Youyou Cong,
Nich Rioux,
Amal Ahmed.
Type-preserving CPS translation of Σ and Π types is not not possible,
The 45th Symposium on Principles of Programming Languages,
Proceedings of the ACM on Programming Languages,
ACM,
2,
POPL,
Jan. 2018.
公式リンク
[ BibTeX 形式で保存 ]
[ 論文・著書をCSV形式で保存
]
[ 特許をCSV形式で保存
]
|