SUMMER SCHOOL ON PARTIAL EVALUATION 5-9 July 1994, Carnegie Mellon University, by Charles Consel, Olivier Danvy, and Peter Lee The aim of the summer school is to introduce the principles, techniques, and applications of partial evaluation. This presentation will be done in the context of Consel's partial evaluator for procedural languages, Schism. Students will get hands-on experience with the course concepts by working directly with Schism, studying both its use and its internals. Also, various applications of partial evaluation will be covered such as pattern matching and parameterized programming. The lecture notes will be based on Consel and published at The MIT Press. Course fee: $350. Information: consel@cse.ogi.edu, danvy@daimi.aau.dk