Microsoft Research: Spec# episode artwork

EPISODE · Apr 22, 2008 · 35 MIN

Microsoft Research: Spec#

from Hanselminutes with Scott Hanselman · host 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#!

Episode metadata supplied by the publisher feed · Published Apr 22, 2008

Embed this episode

NOW PLAYING

Microsoft Research: Spec#

0:00 35:00

No transcript for this episode yet

We transcribe on demand. Request one and we'll notify you when it's ready — usually under 10 minutes.

No similar episodes found.

No similar podcasts found.

Frequently Asked Questions

How long is this episode of Hanselminutes with Scott Hanselman?

This episode is 35 minutes long.

When was this Hanselminutes with Scott Hanselman episode published?

This episode was published on April 22, 2008.

Can I download this Hanselminutes with Scott Hanselman episode?

Yes. Use the download control on the episode player to save the publisher-provided media file.
URL copied to clipboard!