(Advanced) topics in Programming Languages Instructor: Mooly Sagiv TA: Shachar Itzhaky msagiv/courses/apl12.html Spring 2012 Inspired.