generated at
2/16/2025, 12:13:34 PM
The Principal Type-Scheme of an Object in Combinatory Logic
Hindley-Milner 型システム
の初出の論文
J. Roger Hindley
著
1969
PDF
USのwiki
がかなりくわしいのでこれを見ながらやるといいかもな