Staged Gradual Typing.

Hiroto Yaguchi, Yukiyoshi Kameyama

Browse the full GPCE paper archive.