Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Elixir on Google Cloud Platform and App Engine. Parent comment
A static verification framework for message passing in Go using behavioural types, Lange et al., ICSE 18
http://blog.acolyer.org/2018/01/25/a-static-verification-fra...
There are no comments on this comment yet.
A static verification framework for message passing in Go using behavioural types, Lange et al., ICSE 18
http://blog.acolyer.org/2018/01/25/a-static-verification-fra...