Ochanomizu University is a distinguished Japanese national university, historically significant for its role in women's higher education and strong humanities and science programs.
Self-contained research seminars, public lectures, and invited colloquia.
This LOPSTR+PPDP 2026 presentation introduces a unified, typed reflection for the delimited-control operators 'shift' and 'shift0', advancing the formal correctness guarantees for program translations.
Professors, researchers, and invited lecturers recorded at Ochanomizu University.
Browse, filter, and sort every lecture from Ochanomizu University.
