Coeffects: Unified Static Analysis of Context-Dependence

Petricek, Tomas, Orchard, Dominic, Mycroft, Alan·2013·Lecture Notes in Computer Science
DOI 10.1007/978-3-642-39212-2_35