Dr. Cook was probably my favorite professor I've had here at UT. I had the opportunity to learn functional programming from him in both Haskell and Agda through the two PL classes he taught here. May he Rest In Peace.
He had great lectures and lecture notes. Amazing guy, RIP