[Haskell-cafe] formal treatment of module dependencies

[Dimitri DeFigueiredo]

It seems to me that specifying and solving module dependencies is a
ubiquitous problem in software development.
All the languages that I know try to make the problem go away by using
version numbers and maximizing backward compatibility.

Does anyone know of references that formalize this problem for Haskell?

Thanks,

Dimitri

-- 
2E45 D376 A744 C671 5100 A261 210B 8461 0FB0 CA1F