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

"Propositions as Types" by Wadler is a great introductory history of the interconnectedness between logic systems and programming languages:

http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-...




Applications are open for YC Winter 2019

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

Search: