default search action
Theoretical Computer Science, Volume 375
Volume 375, Numbers 1-3, May 2007
Claudio Hermida, Robert D. Tennent:
A fibrational framework for possible-world semantics of Algol-like languages. 3-19- Martin Hyland, Paul Blain Levy, Gordon D. Plotkin, John Power:
Combining algebraic effects with continuations. 20-40 - Malgorzata Biernacka, Olivier Danvy:
A syntactic correspondence between context-sensitive calculi and abstract machines. 76-108 - Matthew Might, Olin Shivers:
Analyzing the environment structure of higher-order languages using frame strings. 137-168
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2015-03-02 23:53 CET by the dblp team