Adam D. Barwell, Christopher Brown, Kevin Hammond. Finding parallel functional pearls: Automatic parallel recursion scheme detection in Haskell functions via anti-unification. Future Generation Comp. Syst., 79:669-686, 2018. [doi]
Abstract is missing.