3 ms·
Interesting, but woefully incomplete since it doesn't include a single turnstile-based statement. I'm still looking for the cheat sheet that includes an explana
by elf_m_sternberg 12y ago
Interesting, but woefully incomplete since it doesn't include a single turnstile-based statement. I'm still looking for the cheat sheet that includes an explanation for how to read and comprehend anything written by Simon Peyton-Jones.
- soganess 12y agoRobert Harper has a great introductory(1) book on the matter You should have a reasonably complete treatment of what you are looking for by the time you reach the chapter on PCF. http://www.amazon.com/Practical-Foundations-Programming-Languages-Professor/dp/1107029570/ref=sr_1_1?s=books&ie=UTF8&qid=1426799460&sr=1-1&keywords=robert+harper http://www.amazon.com/Practical-Foundations-Programming-Lang... 1: I call it "introductory" because many of the relevant proofs are left as an exercise to the reader. But truthfully, people I've spoken to with a direct influence on the book have mentioned many a time that harper excludes them because he expects you to know them or be able to figure them...
- noblethrasher 12y agohttp://siek.blogspot.com/2012/07/crash-course-on-notation-in-programming.html http://siek.blogspot.com/2012/07/crash-course-on-notation-in...