Hacker News new | ask | show | jobs
Proposition as types – historical perspective [pdf] (homepages.inf.ed.ac.uk)
2 points by bouh 1931 days ago