I'd add Theorems for Free!: https://ecee.colorado.edu/ecen5533/fall11/reading/free.pdf https://ecee.colorado.edu/ecen5533/fall11/reading/free.pdf There are mor

I'd add Theorems for Free!: https://ecee.colorado.edu/ecen5533/fall11/reading/free.pdf https://ecee.colorado.edu/ecen5533/fall11/reading/free.pdf There are more that I've found interesting over the years but that paper really helped me shift how I think about programming and the design of programs. It lead me to many others and to appreciate type theory.