Submissions from simonjf.com

		Typed Concurrent Functional Programming with Channels, Actors, and Sessions [pdf] (simonjf.com)
		4 points by ingve on May 16, 2019 \| past
		Session type in programming languages (2016) (simonjf.com)
		1 point by dgellow on March 4, 2019 \| past
		Session types in programming languages (2016) (simonjf.com)
		42 points by hurricaneSlider on Dec 27, 2018 \| past \| 9 comments
		Cmm_of_wasm: From WebAssembly to Native Code via the OCaml Back End (simonjf.com)
		49 points by octosphere on Dec 10, 2018 \| past \| 8 comments
		Session types in programming languages---a collection of implementations (simonjf.com)
		1 point by mpweiher on Oct 22, 2018 \| past
		Cmm_of_wasm: From WebAssembly to Native Code via the OCaml Back End (simonjf.com)
		2 points by sanderre on Aug 27, 2018 \| past
		Networked Pong in Idris (simonjf.com)
		2 points by okasaki on May 1, 2014 \| past