Wen Kokke
Publication Activity (10 Years)
Years Active: 2017-2024
Publications (10 Years): 32
Publications (10 Years): 32
Publications
- Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris
- Wen Kokke, Ornela Dardha
- Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris
- Wen Kokke, Ornela Dardha
- Wen Kokke, Ornela Dardha
- Wen Kokke, Ornela Dardha
- Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris
- Wen Kokke, Ornela Dardha
- Wen Kokke, Jeremy G. Siek, Philip Wadler
- Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko YoshidaFeatherweight Go. CoRR (2020)
- Wen Kokke, J. Garrett Morris, Philip WadlerTowards Races in Linear Logic. Log. Methods Comput. Sci. 16 (4) (2020)
- Wen Kokke, J. Garrett Morris, Philip Wadler
- Wen Kokke, J. Garrett Morris, Philip Wadler
- Wen Kokke
- Wen Kokke, Fabrizio Montesi, Marco Peressotti
- Wen Kokke