2015-08-03

CPS and Monads

2015-07-09

Monads in Category Theory and Monads in Haskell

2015-05-03

The Church-Rosser Theorem

2015-04-24

Proof of weak normalization property in STLC