6 ms·
Types and Programming Languages
- jfuasdfw 2y agoJust bought. Seems pricey but I'm a simp for any type theory content.
- mdaniel 2y ago(2002) and it's fucking $90
- Quekid5 2y agoIt's expensive, no doubt... but it's also a VERY good and thorough treatment of the topic. (Btw, not that much has changed since 2002 in terms of the fundamentals of type systems. Certainly some stuff at the edges, but this book covers about 95% of what you might need.)
- Jtsummers 2y ago$95 from Amazon or MIT Press, or $94.99 for the digital copy (you can save a penny!) though that's dated. Clicking through, it's $59.99 for the ebook from various sources. The ebooks are not PDFs, though, and so the formatting leaves something to be desired (based on samples). More complex math renderings are images that look ok. IIRC, there are some large code blocks in the book at some points but not in the samples so I can't evaluate them for clarity.
- dkjaudyeqooe 2y agoThere exists a PDF of the book, and the typesetting wrt math formulas seems flawless in it. EPUBs are generally awful and only PDFs can be trusted IMHO.
- MrBuddyCasino 2y agoThe PDF is linked on this very site. For some reason it doesn’t work on mobile.
- evanjrowley 2y agoMaybe try to used version? Cost me $50 from a 2nd hand used bookstore.
- pvtmert 2y agoSide note: The author, Benjamin Pierce is also the author of the Unison file synchronisation tool. > Which I use daily between macOS and Linux hosts. > https://www.cis.upenn.edu/~bcpierce/unison/ https://www.cis.upenn.edu/~bcpierce/unison/
- rekabis 2y agoI don’t know what the algorithm is trying to tell me, but when I looked that book up on Amazon Canada, the very next book in the search results was on Borderline Personality Disorder. Are these two books that closely related?
- lincpa 2y ago[dead]