technologyhow to

Rustan Leino on Spec #

.NET Rocks!·May 15, 2007·1:04:30·pending

About this Episode

Rustan Leino discusses with Carl and Richard the features and functionality of the Spec # programming language.

Support this podcast at — https://redcircle.com/net-rocks/donations

Hosts & Guests

Carl Malamud

Host

R

Richard Stevens

Host

R

Rustan Leino

Guest

No transcript available for this episode.

More from .NET Rocks!

View all episodes →

Post-Quantum Crypto with Michael Howard

.NET Rocks!

Sep 3, 20261:05:51pending

Numerics.NET with Jeffrey Sax

.NET Rocks!

Sep 3, 20261:05:07pending

Constraining Agents for Software Development with Don Demcsak

.NET Rocks!

Sep 2, 20261:00:05pending

Arguing about AI with Billy Hollis

.NET Rocks!

Aug 26, 20261:03:03pending