Hacker News new | past | comments | ask | show | jobs | submit login

I'd add Theorems for Free!: 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.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: