1. 4
    Integrating Dependent and Linear Types (draft) pdf compsci programming cs.bham.ac.uk
    BruceM avatar via BruceM 4 years ago | cached | 1 comment

  1.  

  2. 2
    BruceM avatar BruceM 4 years ago | link

    Related: http://semantic-domain.blogspot.co.uk/2014/07/two-drafts-on-dependent-types.html?m=1