Hacker News
- Haskell Is Exceptionally Unsafe https://existentialtype.wordpress.com/2012/08/14/haskell-is-exceptionally-unsafe/ 50 comments
- Higher-Dimensional Type Theory http://existentialtype.wordpress.com/2011/05/30/higher-dimensional-type-theory/ 10 comments
- Of Course ML Has Monads http://existentialtype.wordpress.com/2011/05/01/of-course-ml-has-monads/ 16 comments
- Some advice on teaching FP http://existentialtype.wordpress.com/2011/04/17/some-advice-on-teaching-fp/ 18 comments
- Dynamic languages are static languages http://existentialtype.wordpress.com/2011/03/19/dynamic-languages-are-static-languages/ 57 comments
Lobsters
- POPL 2018 Tutorial (Computational Type Theory) https://existentialtype.wordpress.com/2018/01/15/popl-2018-tutorial/ 5 comments compsci
- The Power of Negative Thinking https://existentialtype.wordpress.com/2015/01/27/the-power-of-negative-thinking/ 2 comments compilers , compsci
- Dynamic languages are static languages http://existentialtype.wordpress.com/2011/03/19/dynamic-languages-are-static-languages/ 7 comments compsci
- A “proof by contradiction” is not a proof that ends with a contradiction https://existentialtype.wordpress.com/2017/03/04/a-proof-by-contradiction-is-not-a-proof-that-derives-a-contradiction/ 45 comments math
- It Is What It Is (And Nothing Else), Robert Harper https://existentialtype.wordpress.com/2016/02/22/it-is-what-it-is-and-nothing-else/ 35 comments programming
- It Is What It Is (And Nothing Else), Robert Harper https://existentialtype.wordpress.com/2016/02/22/it-is-what-it-is-and-nothing-else/ 20 comments haskell
- The power of negative thinking https://existentialtype.wordpress.com/2015/01/27/the-power-of-negative-thinking/ 6 comments programming
- Oregon Programming Languages Summer School 2015 https://existentialtype.wordpress.com/2015/02/20/oplss-2015-announcement/ 20 comments programming
- Oregon Programming Languages Summer School 2015 https://existentialtype.wordpress.com/2015/02/20/oplss-2015-announcement/ 5 comments haskell
- What is Haskell's answer to Robert Harper's critique of its module system? http://existentialtype.wordpress.com/2011/04/16/modules-matter-most/ 34 comments haskell
- Robert Harper on Dynamic Typing, Again http://existentialtype.wordpress.com/2014/04/21/bellman-confirms-a-suspicion/ 259 comments programming
- Parallelism and Concurrency, Revisited http://existentialtype.wordpress.com/2014/04/09/parallelism-and-concurrency-revisited/ 5 comments programming
- Homotopy type theory lectures and notes on-line http://existentialtype.wordpress.com/2013/12/04/homotopy-type-theory-lectures-and-notes-on-line/ 3 comments compsci
- What, If Anything, Is A Declarative Language? http://existentialtype.wordpress.com/2013/07/18/what-if-anything-is-a-declarative-language/ 40 comments haskell
- What, If Anything, Is A Declarative Language? http://existentialtype.wordpress.com/2013/07/18/what-if-anything-is-a-declarative-language/ 4 comments programming
- Practical Foundations for Programming Languages is out http://existentialtype.wordpress.com/2012/12/03/pfpl-is-out/ 10 comments programming
- Robert Harper: Exceptions are shared secrets, a criticism of exceptions implementation in Haskell https://existentialtype.wordpress.com/2012/12/03/exceptions-are-shared-secrets/ 91 comments haskell
- Yet Another Reason Not To Be Lazy Or Imperative http://existentialtype.wordpress.com/2012/08/26/yet-another-reason-not-to-be-lazy-or-imperative/ 14 comments haskell
- Polarity in Type Theory http://existentialtype.wordpress.com/2012/08/25/polarity-in-type-theory/ 31 comments haskell
- Robert Harper: Haskell Is Exceptionally Unsafe http://existentialtype.wordpress.com/2012/08/14/haskell-is-exceptionally-unsafe/ 49 comments haskell
- Professor Robert Harper is finishing up his new book http://existentialtype.wordpress.com/2012/08/06/there-and-back-again/ 10 comments programming
- "Variable" does not mean "assignable" http://existentialtype.wordpress.com/2012/02/01/words-matter/ 65 comments programming
- Are Haskell's type checking and its laziness orthogonal? http://existentialtype.wordpress.com/2011/04/24/the-real-point-of-laziness/ 35 comments haskell
- Transformations as strict groupoids // higher-dimensional type theory http://existentialtype.wordpress.com/2011/05/30/transformations-as-strict-groupoids/ 9 comments haskell
- Ask Proggit: could someone explain this to me? (type theory) http://existentialtype.wordpress.com/2011/05/30/higher-dimensional-type-theory/ 20 comments programming
- Of Course ML Has Monads! http://existentialtype.wordpress.com/2011/05/01/of-course-ml-has-monads/ 45 comments programming
- Some thoughts on teaching FP http://existentialtype.wordpress.com/2011/04/17/some-advice-on-teaching-fp/ 97 comments programming
- Modules matter most https://existentialtype.wordpress.com/2011/04/16/modules-matter-most/ 129 comments programming
- Persistence of Memory: persistent vs ephemeral data structures http://existentialtype.wordpress.com/2011/04/09/persistence-of-memory/ 5 comments haskell
- Persistence of Memory http://existentialtype.wordpress.com/2011/04/09/persistence-of-memory/ 58 comments programming
- Functions are values http://existentialtype.wordpress.com/2011/04/02/functions-are-values/ 16 comments haskell
- The Holy Trinity: Logic, Languages and Categories http://existentialtype.wordpress.com/2011/03/27/the-holy-trinity/ 19 comments haskell
- Object-oriented Programming is Eliminated Entirely From the Introductory Curriculum at CMU http://existentialtype.wordpress.com/2011/03/15/teaching-fp-to-freshmen/ 471 comments programming
- Dynamic languages are static languages http://existentialtype.wordpress.com/2011/03/19/dynamic-languages-are-static-languages/ 533 comments programming
- Bob Harper has a blog on programming languages, he is a prominent figure in the world of programming languages and type theory http://existentialtype.wordpress.com/ 40 comments programming
Lambda the Ultimate
- Of Course ML Has Monads! http://existentialtype.wordpress.com/2011/05/01/of-course-ml-has-monads/ 16 comments LtU Forum