Section 2.4

Random Variables as Types

Lecture Video