lasserCoStarVerifiedALL2021:
  type: article
  title:
    value: '{CoStar}: A Verified {ALL}(*) Parser'
    short: '{CoStar}'
  author:
  - Lasser, Sam
  - Casinghino, Chris
  - Fisher, Kathleen
  - Roux, Cody
  date: 2021-06
  page-range: 420-434
  serial-number:
    doi: 10.1145/3453483.3454053
    isbn: 978-1-4503-8391-2
  language: en-US
  parent:
    type: proceedings
    title: Proceedings of the 42nd {ACM SIGPLAN International Conference} on {Programming Language Design} and {Implementation}
    publisher:
      name: ACM
      location: Virtual Canada