tassarotti_jung_harper_2017:
  type: article
  title: A {Higher}-{Order} {Logic} for {Concurrent} {Termination}-{Preserving} {Refinement}
  author:
  - Tassarotti, Joseph
  - Jung, Ralf
  - Harper, Robert
  date: 2017
  note: Iris-based relational separation logic used to verify a compiler from a session-typed channel language into a language with references.
  parent:
    type: proceedings
    title: Programming {Languages} and {Systems} ({ESOP} 2017)
    publisher: Springer
    parent:
      type: proceedings
      title: Lecture {Notes} in {Computer} {Science}