Welcome to the Parti(tioning) (Functional Pearl): Using Rewrite Rules and Specialisation to Partition Haskell Programs.

Robert Krook, Samuel Hammersberg

Browse the full HASKELL paper archive.