Staged Gradual Typing. - Hiroto Yaguchi; Yukiyoshi Kameyama (GPCE, 2025)