<story><title>Great Works in Programming Languages (2004)</title><url>https://www.cis.upenn.edu/%7Ebcpierce/courses/670Fall04/GreatWorksInPL.shtml</url></story><parent_chain></parent_chain><comment><author>hackandthink</author><text>The most influential paper (Bob Harper):&lt;p&gt;Per Martin-Löf: Constructive Mathematics and Computer Programming&lt;p&gt;&lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;www.cs.tufts.edu&amp;#x2F;~nr&amp;#x2F;cs257&amp;#x2F;archive&amp;#x2F;per-martin-lof&amp;#x2F;constructive-math.pdf&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;www.cs.tufts.edu&amp;#x2F;~nr&amp;#x2F;cs257&amp;#x2F;archive&amp;#x2F;per-martin-lof&amp;#x2F;co...&lt;/a&gt;</text></comment>
<story><title>Great Works in Programming Languages (2004)</title><url>https://www.cis.upenn.edu/%7Ebcpierce/courses/670Fall04/GreatWorksInPL.shtml</url></story><parent_chain></parent_chain><comment><author>okasaki</author><text>The weird part about programming is that it&amp;#x27;s possible to never attend a course, read a book (or especially an academic paper), and still be a very productive programmer.</text></comment>