1 “... in the digital age that uses patented technology developed by a research team at Yale University. Whether...”

2 “... at the conference. The ?rst was given by Paul Hudak (Yale University) on “An Algebraic Theory of Polymorphic...”

3 “... the invited talks of ALT 2001 presented by Dana Angluin of Yale University, USA, Paul R. Cohen...”