namakonov-2026-verifying:
  type: article
  title: Verifying Wait-Freedom for Concurrent Higher-Order Programs
  author:
  - Namakonov, Egor
  - Birkedal, Lars
  - Timany, Amin
  date: 2026
  page-range: 20:1-20:29
  url: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2026.20
  serial-number:
    doi: 10.4230/LIPICS.ECOOP.2026.20
  parent:
    type: proceedings
    title: 40th European Conference on Object-Oriented Programming (ECOOP 2026)
    publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
    volume: 372