<story><title>On being a PhD student of Robert Harper</title><url>https://www.cambridge.org/core/journals/journal-of-functional-programming/article/on-being-a-phd-student-of-robert-harper/B68BCF31384084D9FDCB17A7DF1DE7A0</url></story><parent_chain><item><author>Micoloth</author><text>I’m just some guy that works as a software engineer (i don’t even &lt;i&gt;have&lt;/i&gt; a phd) but I’ve always been interested in Type theory.&lt;p&gt;So, a few years back, i found on youtube the lectures Bob Harper gave at the OPLSS, and watched them all.&lt;p&gt;It’s been a revelation for me!&lt;p&gt;It’s truly an experience, and I’ve been a straight up Bob Harper fan ever since. This is how &lt;i&gt;all&lt;/i&gt; lectures should be given. The passion he has for these topics is completely evident!&lt;p&gt;Before, i was vaguely interestes in type theory. Since then, i’ve been &lt;i&gt;really&lt;/i&gt; into type theory, and I’ve gotten deeper and deeper into it.&lt;p&gt;So nice to see this homage to him!</text></item></parent_chain><comment><author>pramodbiligiri</author><text>I watched most of the Bob Harper OPLSS videos of 2012 [1] recently.&lt;p&gt;It felt like I was learning something deep when I was watching, but when I looked back on it later, I couldn’t remember any tangible insights or applications :( A whole lot about equality and then finally how useful dependent types are.&lt;p&gt;Was wondering if anyone else had the same kind of experience?&lt;p&gt;1 - &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;youtube.com&amp;#x2F;playlist?list=PL5FJyaC2WsVmiZHLVm7Z718vbHXUxLtHM&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;youtube.com&amp;#x2F;playlist?list=PL5FJyaC2WsVmiZHLVm7Z718vb...&lt;/a&gt;</text></comment>
<story><title>On being a PhD student of Robert Harper</title><url>https://www.cambridge.org/core/journals/journal-of-functional-programming/article/on-being-a-phd-student-of-robert-harper/B68BCF31384084D9FDCB17A7DF1DE7A0</url></story><parent_chain><item><author>Micoloth</author><text>I’m just some guy that works as a software engineer (i don’t even &lt;i&gt;have&lt;/i&gt; a phd) but I’ve always been interested in Type theory.&lt;p&gt;So, a few years back, i found on youtube the lectures Bob Harper gave at the OPLSS, and watched them all.&lt;p&gt;It’s been a revelation for me!&lt;p&gt;It’s truly an experience, and I’ve been a straight up Bob Harper fan ever since. This is how &lt;i&gt;all&lt;/i&gt; lectures should be given. The passion he has for these topics is completely evident!&lt;p&gt;Before, i was vaguely interestes in type theory. Since then, i’ve been &lt;i&gt;really&lt;/i&gt; into type theory, and I’ve gotten deeper and deeper into it.&lt;p&gt;So nice to see this homage to him!</text></item></parent_chain><comment><author>madarcho</author><text>I think I might be in a similar boat. I&amp;#x27;ve an interest in Type Theory, but rarely get to really connect day to day work with the fun bits.&lt;p&gt;Interestingly I have never heard of Robert Harper, so I will be looking at those lectures with great interest.&lt;p&gt;Instead, I have Benjamin C. Pierce&amp;#x27;s fantastic &amp;quot;Types and Programming Languages&amp;quot; book (still working my way through it bit by bit), and I happened to get one of the most impactful talks of my life from Derek Dreyer: How to Give Talks that People Can Follow. I still use those 20 minutes of advice to this day.&lt;p&gt;I&amp;#x27;m strangely excited to see both their names as authors on this article, and I believe that tells me a lot about what kind of passionate speaking I can expect from Robert Harper!</text></comment>