krishnaswami_integrating_2015:
  type: article
  title: Integrating {Linear} and {Dependent} {Types}
  author:
  - Krishnaswami, Neelakantan R.
  - Pradic, Cécilia
  - Benton, Nick
  date: 2015-01
  page-range: 17-30
  url:
    value: https://dl.acm.org/doi/10.1145/2676726.2676969
    date: 2024-01-04
  serial-number:
    doi: 10.1145/2676726.2676969
    isbn: 978-1-4503-3300-9
  abstract: In this paper, we show how to integrate linear types with type dependency, by extending the linear/non-linear calculus of Benton to support type dependency.
  parent:
    type: proceedings
    title: Proceedings of the 42nd {Annual} {ACM} {SIGPLAN}-{SIGACT} {Symposium} on {Principles} of {Programming} {Languages}
    publisher:
      name: ACM
      location: Mumbai India