Lecture 12, CS520 Theories of Programming Languages (Fall 2020)

These videos record my online lectures in the graduate-level course on programming languages, which is given at KAIST in the fall of 2020. The course materials can be found at https://github.com/hongseok-yang/graduatePL20.

Видео Lecture 12, CS520 Theories of Programming Languages (Fall 2020) автора Школьные знакомства