Write a Blog >>
APLAS 2020
Mon 30 November - Wed 2 December 2020
Wen Kokke

Registered user since Sat 29 Apr 2017

Name:Wen Kokke
Affiliation:University of Edinburgh
Research interests:Programming Languages, Substructural Types, Dependent Types, Natural Language Processing, Machine Learning

Contributions

APLAS 2020 Neural Networks, Secure by Construction: An Exploration of Refinement Types
Show activities from other conferences

APLAS 2020-profile
View general profile