Milner Symposium 2012 - discu.eu

Linking pages

Why Writing Correct Software Is Hard https://pron.github.io/posts/correctness-and-complexity 3 comments
The Economics between Testing and Types | by Daniel C Wang | Medium https://medium.com/@danwang74/the-economics-between-testing-and-types-4a3f8c8a86eb 1 comment

Related searches:

Search whole site: site:events.inf.ed.ac.uk

Search title: Milner Symposium 2012

See how to search.

Submit link to: