Announcing Verve – A Type-Safe OS From Microsoft Singularity Projectinfoq.com25 pointsyarapavan16 years ago