Search Results - Eades III, Harley

  • Showing 1 - 7 results of 7
Refine Results
  1. 1
    Dualized Simple Type Theory

    Dualized Simple Type Theory by Eades III, Harley, Stump, Aaron, McCleeary, Ryan

    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Quantitative program reasoning with graded modal types

    Quantitative program reasoning with graded modal types by Orchard, Dominic, Liepelt, Vilem-Benjamin, Eades III, Harley

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    A graded dependent type system with a usage-aware semantics

    A graded dependent type system with a usage-aware semantics by Choudhury, Pritam, Eades III, Harley, Eisenberg, Richard A., Weirich, Stephanie

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Multiple conclusion linear logic: cut elimination and more

    Multiple conclusion linear logic: cut elimination and more by Eades III, Harley, de Paiva, Valeria

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Unifying graded and parameterised monads

    Unifying graded and parameterised monads by Orchard, Dominic, Wadler, Philip, Eades, Harley

    Get full text
    Items that this one cites
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems

    Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems by Sjöberg, Vilhelm, Casinghino, Chris, Ahn, Ki Yung, Collins, Nathan, Eades III, Harley D., Fu, Peng, Kimmell, Garrin, Sheard, Tim, Stump, Aaron, Weirich, Stephanie

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    On the Lambek Calculus with an Exchange Modality

    On the Lambek Calculus with an Exchange Modality by Jiang, Jiaming, Eades, Harley, de Paiva, Valeria

    Get full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: