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