Posted on June 19, 2015December 13, 2016 in Type Theory Summary of Philip Walder’s “Proofs are Programs” Moved to here
Posted on February 21, 2014August 2, 2016 in Uncategorized Parametric Polymorphism and Girard-Reynolds Isomorphism http://kseo.github.io/posts/2014-02-21-parametric-polymorphism-and-girard-reynolds-isomorphism.html
Posted on February 17, 2014June 5, 2016 in Haskell Learning Prolog to be a better Haskell programmer http://kseo.github.io/posts/2014-02-17-learning-prolog-to-be-a-better-haskell-programmer.html