Microsoft Research: Spec#
Hanselminutes with Scott Hanselman
Scott sits down with Mike Barnett and Rustan Leino of Microsoft Research and talks about the Spec# programming language. The compiler enables Design By Contract and extends C#. The team needs your help to get these features in the next version of C#!
Next Episodes
ASP.NET Dynamic Data with Scott Hunter @ Hanselminutes with Scott Hanselman
📆 2008-04-18 04:43 / ⌛ 00:30:45
Distributed Source Control with Git @ Hanselminutes with Scott Hanselman
📆 2008-04-09 09:44 / ⌛ 00:40:39
Digital Photography Explained (for Geeks) with Aaron Hockley @ Hanselminutes with Scott Hanselman
📆 2008-03-31 07:15 / ⌛ 00:37:04
Inside Outsourcing @ Hanselminutes with Scott Hanselman
📆 2008-03-27 05:00 / ⌛ 00:23:01
Rocky Lhotka on Data Access Mania, LINQ and CSLA.NET @ Hanselminutes with Scott Hanselman
📆 2008-03-21 02:39 / ⌛ 00:29:18