CS 611 Spring'09 - Advanced Programming Languages

CS 6110 Spring 2009 Advanced Programming Languages

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