💾 Archived View for dcreager.net › papers › Hindley1969.gmi captured on 2024-12-17 at 09:24:15. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2023-07-22)
-=-=-=-=-=-=-
Robin Hindley. “The Principal Type-Scheme of an Object in Combinatory Logic”. Transactions of the American Mathematical Society. Vol. 146 (Dec., 1969), pp. 29-60 (32 pages)
This is one of the famous papers that introduces Hindley-Milner type inference. Hindley's paper is focused on combinatory logic, not on the lambda calculus.