Self taught dev here. I’ve been really enjoying reading your dissertation but I’m getting stuck at the type theory. What’s out there for getting up-to-speed on how to read CS proofs?
Hi! @gasche’s recommendation is solid, and I’d also like to recommend the Redex book [1] [2], the first half of which is a course in modern small-step operational semantics. That book, plus the standard type systems text [3], should be heaps to be getting on with :-)
Thanks @gasche :-)
Hi, I’m the author, AMA!
Self taught dev here. I’ve been really enjoying reading your dissertation but I’m getting stuck at the type theory. What’s out there for getting up-to-speed on how to read CS proofs?
This blog post may help: Crash Course on Notation in Programming Language Theory.
Hi! @gasche’s recommendation is solid, and I’d also like to recommend the Redex book [1] [2], the first half of which is a course in modern small-step operational semantics. That book, plus the standard type systems text [3], should be heaps to be getting on with :-)
[1] Felleisen, Matthias, Robert Bruce Findler, and Matthew Flatt. Semantics Engineering with PLT Redex. Cambridge, Massachusetts: MIT Press, 2009. https://mitpress.mit.edu/books/semantics-engineering-plt-redex
[2] https://redex.racket-lang.org/
[3] Pierce, Benjamin C. Types and Programming Languages. MIT Press, 2002. https://www.cis.upenn.edu/~bcpierce/tapl/
[Comment removed by author]