IFL Presentations on CPS Translation, Delimited Control and Programming Education
The following presentations were accepted to the 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.