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: Click to share on Facebook (Opens in new window) Facebook Click to 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 