http://scholar.google.com/scholar?q=A+Theory+of+Type+Polymorphism+in+Programming&hl=en&btnG=Search&as_sdt=2001&as_sdtp=on http://scholar.google.com/scholar?q=A+

http://scholar.google.com/scholar?q=A+Theory+of+Type+Polymorphism+in+Programming&hl=en&btnG=Search&as_sdt=2001&as_sdtp=on http://scholar.google.com/scholar?q=A+Theory+of+Type+Polymor... First link.