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.
Took his Haskell PL class and really liked it. Coolest thing I remember was learning about using the return value of a function as it's own argument thanks to Haskell laziness.
He had great lectures and lecture notes. Amazing guy, RIP
He had great lectures and lecture notes. Amazing guy, RIP