omar-2021-filling:
  type: article
  title: Filling typed holes with live GUIs
  author:
  - Omar, Cyrus
  - Moon, David
  - Blinn, Andrew
  - Voysey, Ian
  - Collins, Nick
  - Chugh, Ravi
  date: 2021-06
  page-range: 511-525
  serial-number:
    doi: 10.1145/3453483.3454059
  parent:
    type: proceedings
    title: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation
    publisher: ACM