Showing 1 - 1 results of 1 for search 'Edward Gan', query time: 0.03s Refine Results
  1. 1
    Type Classes for Lightweight Substructural Types

    Type Classes for Lightweight Substructural Types by Edward Gan, Jesse A. Tov, Greg Morrisett

    Published 2015-02-01
    Get full text
    Article

Search Tools: