I am an undergrad that got interested in this topic called "Foundations of Software" http://edu.epfl.ch/coursebook/en/foundations-of-software-CS-452 and was wondering if anyone is aware of any videos on the web that I can watch.

Here is an example of the lecture notes https://fos2017.github.io/slides/week01-2x2.pdf and according to the website, the textbook used is titled "Types and Programming Languages" by Benjamin C. Pierce.

Although the materials are plenty, I find that it is always easier for me to understand through videos so I hope the users here can point me to one that is relevant. I tried searching on google and youtube for "Foundations of Software lecture videos" but have yet to find any that is relevant.

  • $\begingroup$ The OPLSS videos are an excellent resource on this area $\endgroup$ – jmite Sep 4 '18 at 3:19

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.