Skip to content
Continuations and Effects
- Konishi Received PPL 2025 Sponsors Choice Award
- 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