Join GitHub today
Software Foundations Reading Notes
Why Software Foundations?
I am interested in formal proofs and programming languages in general. However, I haven't got a chance to learn formal proofs and formal verification in depth. I have heard of the Software Foundations from various sources, including Zhihu and steshaw's PLT booklist. According to the book site of the series,
The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software.
My summer internship at Microsoft is coming to an end. Thus I get some spare time to read some books that I planned to read, including this series. Hopefully I will finish this series by the end of next term.