lasserLL1_2019:
  type: article
  title: '{A Verified LL(1) Parser Generator}'
  author:
  - Lasser, Sam
  - Casinghino, Chris
  - Fisher, Kathleen
  - Roux, Cody
  date: 2019
  editor:
  - Harrison, John
  - O'Leary, John
  - Tolmach, Andrew
  page-range: 24:1–24:18
  url: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2019.24
  serial-number:
    doi: 10.4230/LIPIcs.ITP.2019.24
    isbn: 978-3-95977-122-1
    issn: 1868-8969
  note: 'Keywords: interactive theorem proving, top-down parsing'
  parent:
    type: proceedings
    title: 10th International Conference on Interactive Theorem Proving (ITP 2019)
    publisher:
      name: Schloss Dagstuhl – Leibniz-Zentrum f{ü}r Informatik
      location: Dagstuhl, Germany
    volume: 141
    parent:
      type: proceedings
      title: Leibniz International Proceedings in Informatics (LIPIcs)