Wen Kokke is an author at University of Edinburgh specializing in engineering, formal methods, and formal verification.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSystem SoftwareAutomated ReasoningParallel Programming
Publications per year
2019–2021
4
4
Programming language foundations in Agda
Wen Kokke, Jeremy G. Siek, Philip Wadler · Science of Computer Programming · 2020 · 32 citations · Full text
Robert Griesemer, Raymond Hu, Wen Kokke et al. · Proceedings of the ACM on Programming Languages · 2020 · 17 citations · Full text
Deadlock-free session types in linear Haskell
Wen Kokke, Ornela Dardha · 2021 · 15 citations · Full text
Rows per page
1–4 of 4