The Structure of Typed Programming Languages
Download or Read eBook The Structure of Typed Programming Languages PDF written by David A. Schmidt and published by MIT Press. This book was released on 1994 with total page 392 pages. Available in PDF, EPUB and Kindle.
Author | : David A. Schmidt |
Publisher | : MIT Press |
Total Pages | : 392 |
Release | : 1994 |
ISBN-10 | : 0262193493 |
ISBN-13 | : 9780262193498 |
Rating | : 4/5 (93 Downloads) |
Book Synopsis The Structure of Typed Programming Languages by : David A. Schmidt
Book excerpt: The text is unique in its tutorial presentation of higher-order lambda calculus and intuitionistic type theory.