The principal type-scheme of an object in combinatory logic (1969)

by J R Hindley
Venue:8 Koza, J.R.: Genetic Programming: On the Programming of Computers by Means of Natural Selection (Complex Adaptive Systems