6.858 | Fall 2014 | Graduate

Computer Systems Security

Lecture Videos

Lecture 11: Ur/Web

Description: In this lecture, Professor Chlipala discusses Ur/Web, the programming language he created for modern web applications.

Instructor: Nickolai Zeldovich and Adam Chlipala

Course Info

As Taught In
Fall 2014
Level
Learning Resource Types
Lecture Videos
Exams with Solutions
Lecture Notes
Projects with Examples