Dependent types and design by contract
from Iowa Type Theory Commute Hosted by Aaron Stump
Dependent types are discussed, particularly as used for expressing pre- and post-conditions of functions.
Embed this episode
No transcript yet.
Frequently asked questions
How long is this episode of Iowa Type Theory Commute?
This episode is 9 minutes long.
When was this Iowa Type Theory Commute episode published?
This episode was published on January 4, 2020.
Can I download this Iowa Type Theory Commute episode?
Yes. Use the download control on the episode player to save the publisher-provided media file.