Tim Sheard - ICFP 2016

Write a Blog >>

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

2016

ICFP

Committee Member in External Review Committee within the Research Papers-track

TyDe

Generic Lookup and Update for Infinitary Inductive-Recursive Types

Show activities from other conferences

ICFP 2016-profile
View general profile