Paul Hudak, Yale University, Department of Computer Science