A Typed and Unified Reflection for Shift and Shift0

Name: A Typed and Unified Reflection for Shift and Shift0
Uploaded: 2026-09-22T00:23:35.000Z
Duration: 29 min
Channel: Yui Tamura
Description: 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.

Yui Tamura

Browse

Ochanomizu University·Yui Tamura

29:00

0:00/29:00

Notebook

Press N to jot a timestamped note or B to pin a moment while watching.

Open in Study Notebook →

A Typed and Unified Reflection for Shift and Shift0

Yui Tamura Ochanomizu University

29:00·2026·research level·Conference Talk

YouTube

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.

A Typed and Unified Reflection for Shift and Shift0 (Video, LOPSTR+PPDP 2026) Yui Tamura, and Kenichi Asai (Ochanomizu University; Ochanomizu University)

Theory & Algos Mathematics Formal Methods & Type Theory Calculus & Analysis Type Theory & Lambda Calculus Delimited Continuations Formal Semantics

About the lecturer

Speaker directory →

Yui Tamura

Faculty & Visiting Speaker, Ochanomizu University

Yui Tamura is faculty at Ochanomizu University, specializing in programming language theory, particularly typed and unified reflection for control operators.

1 lecture in archiveView profile