Y
Hacker News
new
|
ask
|
show
|
jobs
by
baguasquirrel
5937 days ago
http://scholar.google.com/scholar?q=A+Theory+of+Type+Polymor...
First link.