Tag: POPL

  • 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…