J. Roger Hindley
According to our database1,
J. Roger Hindley
authored at least 24 papers
between 1967 and 2009.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on id.loc.gov
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2009
Proceedings of the Logic from Russell to Church, 2009
2008
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008
1998
1996
1994
1993
Notre Dame J. Formal Log., 1993
1992
1990
1989
1986
Introduction to Combinators and Lambda-Calculus.
Cambridge University Press, 1986
1985
Proceedings of the Combinators and Functional Programming Languages, 1985
1984
Theor. Comput. Sci., 1984
1983
Theor. Comput. Sci., 1983
1982
Proceedings of the International Symposium on Programming, 1982
1979
Theor. Comput. Sci., 1979
1977
1974
1972
Introduction to combinatory logic.
Cambridge University Press, ISBN: 978-0-521-09697-3, 1972
1969
1967