Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Tim Sheard
conf.researchr.org general profile
ICFP 2016 profile
ICFP 2019 profile
SPLASH 2020 profile
Not registered as user
Name:
Tim Sheard
Affiliation:
Portland State University
Personal website:
http://web.cecs.pdx.edu/~sheard/
Contributions
2019
TyDe
Committee Member in Program Committee within the TyDe 2019-track
2016
ICFP
Committee Member in External Review Committee within the Research Papers-track
TyDe
Author of Generic Lookup and Update for Infinitary Inductive-Recursive Types within the TyDe-track
Share
x
Sat 21 Dec 17:49