 |
|
 Type Theory and Functional Programming (International Computer Science Series)
This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice. Introductory sections provide the necessary background in logic, lambda calculus and constructive mathematics, and exercises and chapter summaries are included to... |  |  Scalability Rules: 50 Principles for Scaling Web Sites
50 Powerful, Easy-to-Use Rules for Supporting Hypergrowth in Any Environment
Scalability Rules is the easy-to-use scalability primer and reference for every architect, developer, web professional, and manager. Authors Martin L. Abbott and... |  |  |
|
|
|
|
Result Page: 325 324 323 322 321 320 319 318 317 316 315 314 313 312 311 310 309 308 307 |