Hindley-Milner 型システムの論文

Algorithm Wの提案

Robin Milner著

1978

再発見

再発見ってどういう意味なん #??

USのwikiがかなりくわしいのでこれを見ながらやるといいかもな