CPS変換・限定継続・プログラミング教育に関するIFL発表
以下の発表が 36th Symposium on Implementation and Application of Functional Languages (IFL 2024) に採択されました。
- Youyou Cong, Hironori Kawazoe, and Hidehiko Masuhara. A Mostly CPS, Partly ANF Translation of Dependent Types.
- Akane Taniguchi, Youyou Cong, Hidehiko Masuhara. Formalizing an Object-Oriented Programming Language with Delimited Control.
- Jessica Belicia Cahyono, Youyou Cong, Hidehiko Masuhara. Daisy: A Block-Based Environment for Learning Data Modeling.