Basic Simple Type Theory
J. Roger Hindley, J. Roger Hindley, C. J. Van Rijsbergen
₹4,330
Basic Simple Type Theory
42
Cambridge University Press · 2008 · Paperback
₹4,478
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: 42 by J. Roger Hindley is a 200-page paperback edition published by Cambridge University Press in 2008.
The book deals with Programming languages (Electronic computers), Type theory, Programming Languages and Langages de programmation.
Book details
- ISBN-13
- 9780521054225
- ISBN-10
- 0521054222
- Author
- J. Roger Hindley
- Publisher
- Cambridge University Press
- Published
- 2008
- Edition
- 1
- Binding
- Paperback
- Pages
- 200
- Language
- English
- Condition
- New
- Subject
- Programming languages
More by J. Roger Hindley and related titles
Lambda-Calculus and Combinators
J. Roger Hindley, Jonathan P. Seldin
₹4,628
A Practical Guide to Feature-Driven Development
Stephen R. Palmer, John M. Felsing
₹3,291
Learn Swift 2 on the Mac
Waqar Malik
₹3,314
Database Programming Languages
Sophie Cluet, Rick Hull
₹5,598
Code Craft
Pete Goodliffe
₹4,668
Introduction to Python for Science and Engineering
David J. Pine
₹12,499
wxPython in Action by Noel Rappin – Python GUI Programming
Noel Rappin, Robin Dunn
₹5,242
Metaprogramming in .Net
Kevin Hazzard, Jason Bock
₹4,672
Introducing Dart Sass
Alex Libby
₹2,272
Logic Programming and Nonmonotonic Reasoning
V. Wiktor Marek, Anil Nerode, Miroslaw Truszcynski
₹5,593
A Java Library of Graph Algorithms and Optimization
Hang T. Lau
₹4,992