Free Programming Languages And Systems: 9Th European Symposium On Programming, Esop 2000 Held As Part Of The Joint European Conferences On Theory And Practice Of Software, Etaps 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings 2000