Not registered as user yet

Name: Tim Sheard

Affiliation: Portland State University

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

ICFP 2016 Activities

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