International Conference (Reviewed)

• 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.

International Conference (Not reviewed / Unknown)

• 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.
• 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.
• 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.

Domestic Conference (Not reviewed / Unknown)

• Kazuhiro Tsunoda, Hidehiko Masuhara, Youyou Cong. コード縮小と構文主導トークン生成を用いたエラー生成クイズの問題作成ツール, 第26回プログラミングおよびプログラミング言語ワークショップ（PPL 2024）, Mar. 2024.

[ Save as BibTeX ]    [ Paper, Presentations, Books, Others, Degrees: Save as CSV ]    [ Patents: Save as CSV ]