Not registered as user yet

Name:Sean Innes
Affiliation:University of Bristol

Contributions

TyDe 2019 Author of Tic Tac Types (Functional Pearl) within the TyDe 2019-track