Notes from Programming Languages