Seeking stability by being lazy and shallow: lazy and shallow instantiation is user friendly.

Gert-Jan Bottu, Richard A. Eisenberg

Browse the full HASKELL paper archive.