Concepedia
Statistics
Publications
1
Citations
315
H-Index
Active since
1969
R. Hindley is an author specializing in data types, polymorphic types, and logic.
Publications per year
1969–1969
The Principal Type-Scheme of an Object in Combinatory Logic
R. Hindley · Transactions of the American Mathematical Society · 1969 · 315 citations
Computing, Computer Science, Combinatorics +13
1–1 of 1