[Haskell] Research papers on Advanced Functional Programming?