mellies_zeilberger_2015:
  type: article
  title: Functors are type refinement systems
  author:
  - Melliès, Paul-André
  - Zeilberger, Noam
  date: 2015
  page-range: 3-16
  url: http://noamz.org/papers/funts.pdf
  serial-number:
    doi: 10.1145/2676726.2676970
  parent:
    type: proceedings
    title: Proceedings of the 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)