Notes for Programming Language Concepts