Lambda-Calculus and Combinators
J. Roger Hindley, Jonathan P. Seldin
₹4,628
Basic Simple Type Theory
by J. Roger Hindley, J. Roger Hindley, C. J. Van Rijsbergen
Cambridge University Press · 1997
₹4,330
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Basic Simple Type Theory is written by J. Roger Hindley & C. J. Van Rijsbergen. This edition from Cambridge University Press (1997) has 186 pages. The book is part of the Cambridge tracts in theoretical computer science series.
The book deals with Programming languages (Electronic computers), Type theory, Programming Languages and Langages de programmation.
Book details
- ISBN-13
- 9780521465182
- ISBN-10
- 0521465184
- Authors
- J. Roger Hindley, J. Roger Hindley, C. J. Van Rijsbergen
- Publisher
- Cambridge University Press
- Published
- 1997
- Series
- Cambridge tracts in theoretical computer science
- Pages
- 186
- Language
- English
- Condition
- New
- Subject
- Programming languages
More by J. Roger Hindley and related titles
Basic Simple Type Theory
J. Roger Hindley
₹4,478
Attribute Grammars
Pierre Deransart, Bernard Lorho, Martin Jourdan
₹4,345
Pro Java ME MMAPI
Vikram Goyal
₹5,624
Casl User Manual
Michel Bidoit, Peter D. Mosses
₹5,515
Developing Java Beans
Robert Englander
₹4,111
The Rust Programming Language
Carol Nichols
₹2,407
Learning Perl
Randal L. Schwartz, Brian D. Foy, Tom Phoenix
₹4,113
Software Design Using Java 2
Luís Filipe De Andrade, José Luiz Fiadeiro, Kevin Lano
₹3,480
Abramsky
S. Abramsky
₹4,054
Essential XUL Programming
Michael C. Daconta, Kevin T. Smith, Vaughn Bullard
₹1,555
Design and Implementation of Programming Languages
Williams, J. H.
₹3,165