InfoQ: Announcing Verve – A Type-Safe Operating System Leonard Woody Microsoft December 9, 2010December 9, 2010 1 Minute InfoQ: Announcing Verve – A Type-Safe Operating System Cool stuff! Share this: Share on Facebook (Opens in new window) Facebook Share on X (Opens in new window) X Like Loading... Related Published by Leonard Woody Software Engineer View all posts by Leonard Woody Published December 9, 2010December 9, 2010
Woody Press 