1. 11

Linked from the previous story that I submitted, this proved to be a very readable and interesting paper on the same subject–encoding validity in the type system. It requires more knowledge of Haskell, so I’ve tagged it as haskell rather than programming.

  1.