Tag: 2007

  • Discussing “A semantics for concurrent separation logic”

    Discussing “A semantics for concurrent separation logic”

    This paper is not only cited in my recent Google Scholar recommendations (which is how I choose papers to read for my blog), but is, along with the Peter O’Hearn paper it builds on, the winner of the 2016 Gödel Prize. This prize, although nominally for any “outstanding papers in the area of theoretical computer…

  • Discussing “A very modal model of a modern, major, general type system”

    Discussing “A very modal model of a modern, major, general type system”

    This paper is an influential landmark in the development of what is now usually called guarded recursion, following a trail that roughly goes from Nakano’s introduction of the approximation modality, to this paper, to a Dreyer, Ahmed, and Birkedal paper that I haven’t yet read for this blog but will probably eventually get to, to…