Lindy Hacker News | | | submit | from
The best articles from homepages.inf.ed.ac.uk, according to Hacker News.
Change the ?site URL parameter to try it on any other website. Or click the domain shown after each post title.
2000Proofs are Programs – 19th Century Logic and 21st Century Computing (homepages.inf.ed.ac.uk)
152 points | 5 years ago with 77 comments
1993A Taste of Linear Logic (homepages.inf.ed.ac.uk)
146 points | 3 years ago with 62 comments
1965The Next 700 Programming Languages (homepages.inf.ed.ac.uk)
83 points | 4 years ago with 20 comments
1995Monads for functional programming (homepages.inf.ed.ac.uk)
69 points | 4 years ago with 49 comments
2013Spreadsheet Programming with User Defined Types and Functions (homepages.inf.ed.ac.uk)
59 points | 5 years ago with 16 comments
2003Expressive Power of SQL (homepages.inf.ed.ac.uk)
55 points | 4 years ago with 18 comments
1977A Theory of Type Polymorphism in Programming (homepages.inf.ed.ac.uk)
48 points | 3 years ago with 6 comments
1985The Researcher's Bible (homepages.inf.ed.ac.uk)
48 points | 7 years ago with 6 comments

For more tools like this, join us at Lindy Learning. | Please send me bugs and feedback! | Have a great day!