Fluency with box and pointer diagrams and the environment model of computation (from chapters 2 & 3 of SICP) will allow you to understand the workings of any applicative order programming language.