Mastodon Feed
Boosted by cstanhope@social.coop ("Your friendly 'net denizen"):
amy@spookygirl.boo ("amy tech (bones)") wrote:
Oh hey! Elements of Programming is now free because their publisher decided to stop printing them.
This is exciting and if you want to get an incredible introduction to type theory from first principles it's one of my more favorite texts on the subject. It does use C++ as it's reference language but you don't really need to know very much C++ in order to appreciate the text. IIRC it introduces what you need to know as it uses various features.