toninho-2011-dependent:
  type: article
  title: Dependent session types via intuitionistic linear type theory
  author:
  - Toninho, Bernardo
  - Caires, Luís
  - Pfenning, Frank
  date: 2011-07
  page-range: 161-172
  serial-number:
    doi: 10.1145/2003476.2003499
  parent:
    type: proceedings
    title: Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
    publisher: ACM