Modular programming languages Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6 - 8, 2000 ; proceedings (Springer, 2000)