Mix: A self-applicable partial evaluator for experiments in compiler generation Neil D. JonesPeter SestoftHarald Søndergaard OriginalPaper Pages: 9 - 50