xi-1999-dependent:
  type: article
  title: Dependent types in practical programming
  author:
  - Xi, Hongwei
  - Pfenning, Frank
  date: 1999-01
  page-range: 214-227
  url: http://dx.doi.org/10.1145/292540.292560
  serial-number:
    doi: 10.1145/292540.292560
  parent:
    type: proceedings
    title: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    publisher: ACM
    parent:
      type: proceedings
      title: POPL99