Formal Methods and the Future of Programming

 (blog.janestreet.com)

62 points | by nextos 4 days ago

1 comments