Types and Programming Languages Logic in Computer Science - Modelling and Reasoning about Systems Structure and Interpretation of Programming Languages (SICP) Category Theory for Programmers
Those books are on my list because they are topics I would like to dive deeper into. I have gotten a few chapters into Types and Programming Languages but university often takes my free time.
For university, I'm reading Modern Operating Systems by Andrew Tanenbaum, for a course in operating systems.
Types and Programming Languages
Logic in Computer Science - Modelling and Reasoning about Systems
Structure and Interpretation of Programming Languages (SICP)
Category Theory for Programmers
Those books are on my list because they are topics I would like to dive deeper into. I have gotten a few chapters into Types and Programming Languages but university often takes my free time.
For university, I'm reading Modern Operating Systems by Andrew Tanenbaum, for a course in operating systems.
I'm currently reading Category Theory for Programmers, and thoroughly enjoying it.