Return to Article Details Pragmatic Aspects of Type-Directed Partial Evaluation Download Download PDF