Simon L. Peyton Jones: Call-pattern specialisation for haskell programs. ICFP 2007: 327-337