Theoretical Computer Science, Volume 375

Volume 375, Numbers 1-3, May 2007

• Olivier Danvy, Peter W. O'Hearn, Philip Wadler:
  Preface. 1-2
  

• 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
  
• Andrzej Filinski:
  On the relations between monadic semantics. 41-75
  
• Malgorzata Biernacka, Olivier Danvy:
  A syntactic correspondence between context-sensitive calculi and abstract machines. 76-108
  
• Cliff B. Jones:
  Splitting atoms safely. 109-119
  
• Neil D. Jones, Nils Andersen:
  Flow analysis of lazy higher-order functional programs. 120-136
  
• Matthew Might, Olin Shivers:
  Analyzing the environment structure of higher-order languages using frame strings. 137-168
  
• Eijiro Sumii, Benjamin C. Pierce:
  A bisimulation for dynamic sealing. 169-192
  
• Peter J. Freyd:
  Core algebra revisited. 193-200
  
• Philip Wadler:
  The Girard-Reynolds isomorphism (second edition). 201-226
  
• Stephen Brookes:
  A semantics for concurrent separation logic. 227-270
  
• Peter W. O'Hearn:
  Resources, concurrency, and local reasoning. 271-307
  
• Hongseok Yang:
  Relational separation logic. 308-334
  
• F. Lockwood Morris:
  A few exercises in theorem processing. 335-345
  
• Frank J. Oles:
  On being a student of John Reynolds. 346-350