Wen Kokke

According to our database1, Wen Kokke authored at least 9 papers between 2017 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Programming language foundations in Agda.
Sci. Comput. Program., 2020

Featherweight go.
Proc. ACM Program. Lang., 2020

Towards Races in Linear Logic.
Log. Methods Comput. Sci., 2020

Continuous Verification of Machine Learning: a Declarative Programming Approach.
Proceedings of the PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, 2020

Neural Networks, Secure by Construction - An Exploration of Refinement Types.
Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2019
Better late than never: a fully-abstract semantics for classical processes.
Proc. ACM Program. Lang., 2019

Rusty Variation: Deadlock-free Sessions with Failure in Rust.
Proceedings of the Proceedings 12th Interaction and Concurrency Experience, 2019

2018
Taking Linear Logic Apart.
Proceedings of the Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2018

2017
Formalising Type-Logical Grammars in Agda.
CoRR, 2017


  Loading...