Showing 1 - 2 results of 2 for search 'Garrin Kimmell', query time: 0.02s Refine Results
  1. 1
    A Rewriting View of Simple Typing

    A Rewriting View of Simple Typing by Aaron Stump, Garrin Kimmell, Hans Zantema, Ruba El Haj Omar

    Published 2013-02-01
    Get full text
    Article
  2. 2
    Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems

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

    Published 2012-02-01
    Get full text
    Article

Search Tools: