[[https://www.cs.cornell.edu/courses/cs6110/2009sp/schedule.html][CS 611 Spring'09]] - Advanced Programming Languages

Tags

:course:

url: https://www.cs.cornell.edu/courses/cs6110/2009sp/schedule.html

CS 6110 Spring 2009 Advanced Programming Languages

Got here via searching for big-step semantics. Lecture notes seem useful.