4 ms·
Insightful! Any process calculus or type theory literature to recommend? Found https://pdfs.semanticscholar.org/12d9/eae1638729aeb237b5be445ee91ecdd3c5d7.pdf ht
by dlcmh 7y ago
Insightful! Any process calculus or type theory literature to recommend? Found https://pdfs.semanticscholar.org/12d9/eae1638729aeb237b5be445ee91ecdd3c5d7.pdf https://pdfs.semanticscholar.org/12d9/eae1638729aeb237b5be44... while googling - would this be a good place to start?
- tombert 7y agoI'm still learning, but I've really enjoyed this book [1]. It's pretty theory-heavy, especially at first, but overall I have found it fairly approachable. Also, Tony Hoare's book on CSP is actually a fairly interesting read; certainly interesting if you like Go. You can actually download it legally free here: [2] In regards to type theory, I'd recommend starting by learning Haskell, just to make the terminology a little less scary, then picking up the book "Basic Simple Type Theory" by J Roger Hindley. Don't let the name fool you, it's still pretty heavy stuff; there's no way I would have been able to get through it if I hadn't learned Haskell beforehand. [3] [1] https://www.amazon.com/Programming-Distributed-Computing-Systems-Foundational/dp/0262018985/ref=sr_1_5?keywords=distributed+programming&qid=1562647746&s=gateway&sr=8-5 https://www.amazon.com/Programming-Distributed-Computing-Sys... [2] http://usingcsp.com/ http://usingcsp.com/ [3] https://www.amazon.com/Simple-Cambridge-Theoretical-Computer-Science/dp/0521054222/ref=sr_1_1?keywords=basic+simple+type+theory&qid=1562647997&s=gateway&sr=8-1 https://www.amazon.com/Simple-Cambridge-Theoretical-Computer...