Michael R. Bernstein personal blog
Types Are The Truth
In Chapter 9 of Types and Programming Languages , Pierce presents his exposition of the Simply typed Lambda-Calculus. It is a truly awesome chapter - each subsection in succession constructs a rich and very well detailed system of computation and Pierce is a master of precision, guiding the reader through the maze of…
- Points
- 132
- HN comments
- 102
- Submissions
- 1
- Cited by
- 0 commenters
Programming LanguagesSoftware Engineering2014
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jun 10, 2014 | Types Are The Truth by mrbbk | 132 | 102 |
