I am a PhD student in the Dept. of Computer Science at Yale in the C2 (Creative Consilience) program. My advisor is Ruzica Piskac, and my research focus is Program Synthesis and Computer Music.
An introduction to the lambda calculus here
Practice with evaluating expressions here
Practice with higher-order function here