Programming Languages Principles: Course Overview