Haskell/Denotational semanticsA really rather interesting article about the practical interpretation of computational theory.