A Simply Typed Context Calculus with First-Class Environments.

Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama

Browse the full FLOPS paper archive.