Articles On Type Theory, including Abstract Data Type, Ordered Pair, Prototype-based Programming, Tuple, Uniqueness Type, Type System, Subtype Polymorphism, Curryâ€"howard Correspondence, Type Polymorphism, Type Inference, Type Signature
by Hephaestus Books
| Publisher: | Unknows |
| Published In: | 31-Aug-2011 |
| ISBN-10: | 1243295406 |
| ISBN-13: | 9781243295408 |
| Binding Type: | Paperback |
| Weight: | 613 gms |
| Pages: | pp. 284, 50:B&W 7.44 x 9.69 in or 246 x 189 mm (Crown 4vo) Perfect Bound on White w/Gloss |
The Title "Articles On Type Theory, including Abstract Data Type, Ordered Pair, Prototype-based Programming, Tuple, Uniqueness Type, Type System, Subtype Polymorphism, Curryâ€"howard Correspondence, Type Polymorphism, Type Inference, Type Signature" is written by Hephaestus Books. This book was published in the year 3120. The ISBN number 1243295406|9781243295408 is assigned to the Paperback version of this title. This book has total of pp. 284 (Pages). The publisher of this title is Unknows. Articles On Type Theory, including Abstract Data Type, Ordered Pair, Prototype-based Programming, Tuple, Uniqueness Type, Type System, Subtype Polymorphism, Curryâ€"howard Correspondence, Type Polymorphism, Type Inference, Type Signature is currently Not Available with us.You can enquire about this book and we will let you know the availability.