Formal Methods and the Future of Programming

 (blog.janestreet.com)

36 points | by nextos 5 days ago ago

1 comments