Refined Environment Classifiers - Type- and Scope-Safe Code Generation with Mutable Cells.

Oleg Kiselyov, Yukiyoshi Kameyama, Yuto Sudo

Browse the full APLAS paper archive.