HN Explorer

jonsterling

↗ HN profile [ 82.4 ms ] full profile
Karma
579
Created
May 25, 2010 (16y ago)
Submissions
0
  1. Science of Logic (nLab) (ncatlab.org)
    1 points 0
  2. The future of artificial intelligence, via Skype co-founder (medium.com)
    19 points 1
  3. JonPRL Tutorial – Proof Assistant for Computational Type Theory (jozefg.bitbucket.org)
    2 points 0
  4. Type Theory Podcast #3: Dan Licata on Homotopy Type Theory (typetheorypodcast.com)
    1 points 0
  5. Type Theory Podcast #1: Peter Dybjer on types and testing (typetheorypodcast.com)
    3 points 0
  6. Proving Type Inequality in C++ (jonmsterling.com)
    1 points 0
  7. Flexibly-Phased Constraints in Haskell (jonmsterling.com)
    1 points 0
  8. Expressing Church Pairs with Types (jonmsterling.com)

    It’s easy to express pairs in the untyped lambda calculus; adding types makes it somewhat more complex to get a correct encoding. In this article, I explain how we can build a pair with typesafe accessors in a…

    1 points 0
  9. Unifying Monoids and Monads with Polymorphic Kinds (jonmsterling.com)

    With GHC's new polymorphic kinds, a monad really is just a monoid in the category of endofunctors.

    1 points 0