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

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