Article on InfoQ

As some of you know I have become an editor over at InfoQ in the architecture section. I put up my first article today which was an interview with Galen Hunt and Jim Larus about Singularity and their experiences with topics like strong typing, the pi-calculus, and static verification (spec#) in their efforts.



This entry was posted in Uncategorized. Bookmark the permalink. Follow any comments here with the RSS feed for this post.

Leave a Reply

Your email address will not be published. Required fields are marked *

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>