discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Reddit
Announcing Verve – A Type-Safe Operating System
http://www.infoq.com/news/2010/12/verve-msft
58 comments
9/12/2010
programming