Volume 375, Numbers 1-3, May 2007 Festschrift for John C. Reynolds's 70th birthday
Last update Sat May 18 20:57:07 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page
- Claudio Hermida, Robert D. Tennent:
A fibrational framework for possible-world semantics of Algol-like languages.
- Martin Hyland, Paul Blain Levy, Gordon D. Plotkin, John Power:
Combining algebraic effects with continuations.
- Andrzej Filinski:
On the relations between monadic semantics.
- Malgorzata Biernacka, Olivier Danvy:
A syntactic correspondence between context-sensitive calculi and abstract machines.
- Cliff B. Jones:
Splitting atoms safely.
- Neil D. Jones, Nils Andersen:
Flow analysis of lazy higher-order functional programs.
- Matthew Might, Olin Shivers:
Analyzing the environment structure of higher-order languages using frame strings.
- Eijiro Sumii, Benjamin C. Pierce:
A bisimulation for dynamic sealing.
- Peter J. Freyd:
Core algebra revisited.
- Philip Wadler:
The Girard-Reynolds isomorphism (second edition).
- Stephen Brookes:
A semantics for concurrent separation logic.
- Peter W. O'Hearn:
Resources, concurrency, and local reasoning.
- Hongseok Yang:
Relational separation logic.
- F. Lockwood Morris:
A few exercises in theorem processing.
- Frank J. Oles:
On being a student of John Reynolds.