Skip to content
Continuations and Effects
- Seven Poster Presentations at PPL2026
- 3 papers are accepted to PPL2026
- Akane Taniguchi’s presentation on Selection Monads at POPL ’26 SRC
- Matsuyama’s Talk on Choreographic Programming at IPSJ PRO Workshop
- Three Papers Accepted to SPLASH-E
- Paper on Continuations in Music Accepted to OlivierFest
- Chen Won 3rd Place in the ICFP 2025 SRC
- Zhiqi Chen’s Presentation on Typed Holes at ICFP SRC
- Yoshimura, Zhiqi Chen and Cong’s Presentations at Metaprogramming Workshop
- Mtsuyama’s Talk on Coeffects at FP Matsuri
- Konishi Received PPL 2025 Sponsors Choice Award
- Sixteen Poster Presentations at PPL2025
- Paper on Dependent-Type-Preserving CPS Translation to Appear in IFL 2024 Proceedings
- Hayashi, Yoshio, Inaba, Kumamoto, Matsuyama and Konishi presented Bachelor’s Theses
- IFL Presentations on CPS Translation, Delimited Control and Programming Education
- Saito, Tsunoda and Tsuyama presented Master’s Theses
- PEPM 2024 Paper on Intrinsically-typed Compiler for Effect Handlers
- Talk on CPS Translation for Dependently Typed Languages (@ PEPM 2024)
- Kawazoe, Saito and Tsuyama’s Talks on formalization at TPP 2023
- PPDP Paper on Expressiveness of Effect Handlers
- Talk on Designing a Language for Learning Continuations (@ Scheme 2023)
- PPL 2023 Presentation on “Dependently-typed Compilers for Algebraic Effects and Handlers”
- Ikemori, Furudono and Takahashi present Master’s Theses
- Paper on Reflection for Effect Handlers (@ PEPM 2023)
- Paper on Named Effect Handlers (@ OOPSLA 2022)
- Presentations on Effects (at TyDe & HOPE)
- Article on Control Operators
- PPL Summer School Lecture on Computational Effects
- Papers on Algebraic Effects (@ TFP 2022)
- Presentations on Algebraic Effects (@ TFP 2022)
- Saito, Tsunoda and Tsuyama Presented Bachelor’s Theses
- Presentation on Intrinsically-typed Interpreters at WITS’22
- Talk on a Scheme-to-WebAssembly Compiler at JSSST (Along with 3 Posters)
- Talk on Named Effect Handlers (@ HOPE 2021)
- Talk on Bidirectional Effects (@ TyDe 2021)
- Paper & Poster presentation at PPL’21
- Ikemori, Furudono and Takahashi Presents Bachelor’s Theses
- Master’s theses defense by Ogushi, Niimi, Chenxin and Luthfan
- Paper on Typing Control Operators at PEPM ’21