chen-2025-polymorphism:
  type: chapter
  title: Polymorphism with Typed Holes
  author:
  - Chen, Adam
  - Porter, Thomas
  - Omar, Cyrus
  date: 2025
  page-range: 134-159
  url: http://dx.doi.org/10.1007/978-3-031-74558-4_7
  serial-number:
    doi: 10.1007/978-3-031-74558-4_7
    isbn: '9783031745584'
    issn: 1611-3349
  parent:
    type: book
    title: Trends in Functional Programming
    publisher: Springer Nature Switzerland