J. Roger Hindley
top ↑
We can also tell you J. Roger Hindley is a…
If you know more about J. Roger Hindley, you can add more facts here »
Similar topics in Freebase
-
Alonzo Church
Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, Church–Turing thesis, Frege–Church ontology, and the Church... -
Kenneth E. Iverson
Kenneth Eugene Iverson (17 December 1920 - 19 October 2004) was a Canadian computer scientist noted for the development of the APL programming language in 1962. He was honored with the Turing Award in 1979 for his contributions to mathematical notation and programming language theory. The Iverson... -
Haskell Curry
Haskell Brooks Curry (September 12, 1900 – September 1, 1982) was an American mathematician and logician. Curry is best known for his work in combinatory logic; while the initial concept of combinatory logic was based on a single paper by Moses Schönfinkel, much of the development was done by Curry... -
Philip Wadler
Philip Wadler is a computer scientist well-known for his contributions to programming language design and type theory. In particular, he has contributed to the theory behind functional programming and the use of monads in functional programming, the design of the purely functional language Haskell,... -
John Makepeace Bennett
Emeritus Professor John Makepeace Bennett AO, FTSE, was an early computer scientist. His pioneering career included work on early computers such as EDSAC, Ferranti Mark 1* and SILLIAC, and spreading the word about the use of computers through computing courses and computing associations. He was... -
John C. Reynolds
John C. Reynolds (born June 1, 1935) is an American computer scientist. John Reynolds studied at Purdue University and then earned a PhD in theoretical physics from Harvard University in 1961. He was Professor of Information science at Syracuse University from 1970 to 1986. Since then he has been... -
Robin Milner
Arthur John Robin Gorell Milner FRS FRSE (Robin Milner or A.J.R.G. Milner, born 13 January 1934 near Plymouth) is a prominent British computer scientist. Milner was born in Yealmpton, near Plymouth, England into a military family. He was awarded a scholarship to Eton College in 1947, and... -
Charles Peirce
Charles Sanders Peirce (pronounced /ˈpɜrs/ purse) (September 10, 1839 – April 19, 1914) was an American philosopher, logician, mathematician, and scientist, born in Cambridge, Massachusetts. Peirce was educated as a chemist and employed as a scientist for 30 years. It is largely his contributions... -
Richard J. Lipton
Richard Jay "Dick" Lipton is an American computer scientist who has worked in computer science theory, cryptography, and DNA computing. Prof. Lipton is presently Associate Dean of Research, Professor, and the Frederick G. Storey Chair in Computing in the College of Computing at the Georgia... -
Sébastien Paquet
Sébastien Paquet is a Canadian academic, researcher, and blogger best known for his work on the Internet Topic Exchange with Phillip Pearson, a precursor to modern-day tags and folksonomies, as well as his social software blog many-to-many, cohosted with Clay Shirky, Ross Mayfield, David Weinberger...
