Wen Kokke

Registered user since Sat 29 Apr 2017

Name: Wen Kokke

Country: United Kingdom

Affiliation: University of Edinburgh

Personal website: https://wenkokke.github.io/

Research interests: Programming Languages, Substructural Types, Dependent Types, Natural Language Processing, Machine Learning

Contributions

ICFP 2018Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
ICFP 2017Committee Member in Artifact Evaluation Committee within the Research Artifacts-track