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

Oleg Kiselyov, Yukiyoshi Kameyama, Yuto Sudo. Refined Environment Classifiers - Type- and Scope-Safe Code Generation with Mutable Cells. In Atsushi Igarashi, editor, Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings. Volume 10017 of Lecture Notes in Computer Science, pages 271-291, 2016. [doi]

Authors

Oleg Kiselyov

Identified as Oleg Kiselyov

Yukiyoshi Kameyama

This author has not been identified. Look up 'Yukiyoshi Kameyama' in Google

Yuto Sudo

This author has not been identified. Look up 'Yuto Sudo' in Google