Volume 375,
Numbers 1-3,
May 2007
Festschrift for John C. Reynolds's 70th birthday
Contributions
- Claudio Hermida, Robert D. Tennent:
A fibrational framework for possible-world semantics of Algol-like languages.
3-19
Electronic Edition (link) BibTeX
- Martin Hyland, Paul Blain Levy, Gordon D. Plotkin, John Power:
Combining algebraic effects with continuations.
20-40
Electronic Edition (link) BibTeX
- Andrzej Filinski:
On the relations between monadic semantics.
41-75
Electronic Edition (link) BibTeX
- Malgorzata Biernacka, Olivier Danvy:
A syntactic correspondence between context-sensitive calculi and abstract machines.
76-108
Electronic Edition (link) BibTeX
- Cliff B. Jones:
Splitting atoms safely.
109-119
Electronic Edition (link) BibTeX
- Neil D. Jones, Nils Andersen:
Flow analysis of lazy higher-order functional programs.
120-136
Electronic Edition (link) BibTeX
- Matthew Might, Olin Shivers:
Analyzing the environment structure of higher-order languages using frame strings.
137-168
Electronic Edition (link) BibTeX
- Eijiro Sumii, Benjamin C. Pierce:
A bisimulation for dynamic sealing.
169-192
Electronic Edition (link) BibTeX
- Peter J. Freyd:
Core algebra revisited.
193-200
Electronic Edition (link) BibTeX
- Philip Wadler:
The Girard-Reynolds isomorphism (second edition).
201-226
Electronic Edition (link) BibTeX
- Stephen Brookes:
A semantics for concurrent separation logic.
227-270
Electronic Edition (link) BibTeX
- Peter W. O'Hearn:
Resources, concurrency, and local reasoning.
271-307
Electronic Edition (link) BibTeX
- Hongseok Yang:
Relational separation logic.
308-334
Electronic Edition (link) BibTeX
- F. Lockwood Morris:
A few exercises in theorem processing.
335-345
Electronic Edition (link) BibTeX
- Frank J. Oles:
On being a student of John Reynolds.
346-350
Electronic Edition (link) BibTeX
Copyright © Fri Sep 5 20:16:34 2008
by Michael Ley (ley@uni-trier.de)
