An experiment in course design: using Coq to make theory of programming languages more accessible, useful and interesting to a broad range of students.
Categories: Computer Science, Teaching
This video is part of the ICFP 2009 feature.
What should I watch next? What do I watch to find out more about the topic? How does this relate to other disciplines? What are the applications of this?
The linkmap is a visual way to explore connections between videos and find more interesting content.
Each of the nodes on the linkmap represents a video. Click on one to find out more.
