J. Roger Hindley
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Official site | users.waitrose.com |
| Education | Queen's University Belfast |
| Known for | Hindley–Milner type system |
| Date of Reg. | |
| Date of Upd. | |
| ID | 716750 |
J. Roger Hindley Life story
J. Roger Hindley is a prominent British logician best known for the Hindley–Milner type inference algorithm. Since 1998, he has been an Honorary Research Fellow at Swansea University.
