Contextual MetaML: Syntax and Full Abstraction.

Haoxuan Yin, Andrzej S. Murawski, C.-H. Luke Ong

Browse the full LICS paper archive.