Today we finished up last Thursday's lecture by discussing benign uses of effects. Then, we took a peek at the theory underlying programming languages, exposing us to the mathematical tools that allow us to reason rigorously about programming languages, including proving desirable properties, such as type safety, about them.
Lecture Slides with every build, use "slideshow" option in your pdf viewer. Lecture Slides compact.
Lecture Slides with every build, use "slideshow" option in your pdf viewer. Lecture Slides compact.