discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Session types in programming languages (2016)
http://simonjf.com/2016/05/28/session-type-implementations.html
9 comments
27/12/2018
Cmm_of_wasm: From WebAssembly to Native Code via the OCaml Back End
http://simonjf.com/2018/08/27/cmm-of-wasm.html
8 comments
10/12/2018
Reddit
Networked Pong in Idris
http://www.simonjf.com/wordpress/?p=42
4 comments
29/4/2014
idris
Networked Pong in Idris
http://www.simonjf.com/wordpress/?p=42
4 comments
29/4/2014
programming