A Programming Environment for Binding-time Based Partial Evaluators. - Charles Consel; Satish Pai (PEPM, 1992)