J. Roger Hindley – författare
Visar alla böcker från författaren J. Roger Hindley. Handla med fri frakt och snabb leverans.
4 produkter
Lambda-Calculus and Combinators
An Introduction
Av J. Roger Hindley, Jonathan P. Seldin
Inbunden, 2008
1172 kr
Lägg i varukorg
Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this version is …
Basic Simple Type Theory
Häftad, 2008
667 kr
Lägg i varukorg
Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved …
Basic Simple Type Theory
Av J. Roger Hindley, C. J. van Rijsbergen
Inbunden, 1997
1742 kr
Lägg i varukorg
Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved …
Typed Lambda Calculi and Applications
Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings
Av Philippe de Groote, J. Roger Hindley
Häftad, 1997
552 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, held in Nancy, France, in April 1997.The 24 revised full papers presented in the book were carefully selected from a total of 54 submissions. The book reports the …
