国際会議発表 (査読有り)

• Syouki Tsuyama, Youyou Cong, Hidehiko Masuhara. An Intrinsically Typed Compiler for Algebraic Effect Handlers, ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2024), Proceedings of the 2024 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2024), Jan. 2024.
• Youyou Cong. One-Pass CPS Translation of Dependent Types, ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2024), Proceedings of the 2024 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2024), Jan. 2024.

国際会議発表 (査読なし・不明)

• Youyou Cong, Hironori Kawazoe, Hidehiko Masuhara. A Mostly CPS, Partly ANF Translation of Dependent Types, The 36th Symposium on Implementation and Application of Functional Languages (IFL 2024), Aug. 2024.
• Akane Taniguchi, Youyou Cong, Hidehiko Masuhara. Formalizing an Object-Oriented Programming Language with Delimited Control, The 36th Symposium on Implementation and Application of Functional Languages (IFL 2024), Aug. 2024.
• Jessica Belicia Cahyono, Youyou Cong, Hidehiko Masuhara. Daisy: A Block-Based Environment for Learning Data Modeling, The 36th Symposium on Implementation and Application of Functional Languages (IFL 2024), Aug. 2024.

国内会議発表 (査読なし・不明)

• Youyou Cong. Continuations from Three Angles, 17th International Symposium on Functional and Logic Programming (FLOPS 2024), May 2024.
• 角田和広, 増原英彦, 叢悠悠. コード縮小と構文主導トークン生成を用いたエラー生成クイズの問題作成ツール, 第26回プログラミングおよびプログラミング言語ワークショップ（PPL 2024）, Mar. 2024.

[ BibTeX 形式で保存 ]    [ 論文・著書をCSV形式で保存 ]    [ 特許をCSV形式で保存 ]