Skip to content
Programming Research Group
Department of Mathematical and Computing Science, Institute of Science Tokyo (née Tokyo Institute of Technology)
Menu
Home
People
Projects
Publications
Contact & Access
Continuations and Effects
Poster Presentations at PPL2025
Paper on Dependent-Type-Preserving CPS Translation to Appear in IFL 2024 Proceedings
IFL Presentations on CPS Translation, Delimited Control and Programming Education