APLAS 2020 (series) / Wen Kokke

Registered user since Sat 29 Apr 2017
Name: Wen Kokke
Affiliation: University of Edinburgh
Personal website: https://wenkokke.github.io/
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
View general profile