angiuli-2018-the:
  type: article
  title: The RedPRL Proof Assistant (Invited Paper)
  author:
  - Angiuli, Carlo
  - Cavallo, Evan
  - (Favonia), Kuen-Bang Hou
  - Harper, Robert
  - Sterling, Jon
  date: 2018-07
  page-range: 1-10
  serial-number:
    doi: 10.4204/eptcs.274.1
  parent:
    type: periodical
    title: Electronic Proceedings in Theoretical Computer Science
    publisher: Open Publishing Association
    volume: 274