ACM Transactions on Programming Languages and Systems March 1995: Vol 17, Nr 2 Efficient Implementation of Adaptive Software by Jens Palsberg, Cun Xiao, and Karl Lieberherr Optimization of Functional Programs by Grammar Thinning by Adam Webber