reference to Haskell Beats C paper