PL Books
March 6, 2023 at 9:58 pm
CS
PL
TODO
Compiler
SSA-based Compiler Design
PL Theory
Software Foundations (SF)
Programming Language Foundations in Agda (PLFA)
Practical Foundations for Programming Languages (PFPL)
Essentials of Programming Languages (EOPL)