Tim Sheard - ICFP 2016

Sun 18 - Sat 24 September 2016 Nara, Japan

Not registered as user yet

Name: Tim Sheard

Affiliation: Portland State University

Personal website: http://web.cecs.pdx.edu/~sheard/

Contributions

TyDe 2016	Author of Generic Lookup and Update for Infinitary Inductive-Recursive Types within the TyDe-track
ICFP 2016	Committee Member in External Review Committee within the Research Papers-track
Show activities from other conferences