Formal Methods and the Future of Programming

 (blog.janestreet.com)

27 points | by nextos 4 days ago

1 comments