ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '99)San Antonio, Texas
January 22-23, 1999
"Quasiquotation in Lisp (invited talk)"
ps pdfTodd L. Veldhuizen
"C++ Templates as Partial Evaluation"
ps pdfTorben Mogensen
"Godelisation in the untyped lambda-calculus"
ps pdfMorten Rhiger
"Deriving a Statically Typed Type-Directed Partial Evaluator"
ps pdfPeter Thiemann
"Interpreting Specialization in Type Theory"
ps pdfCharles Consel
"Program Adaptation based on Program Specialization (invited talk)"
ps pdfSandrine Chirokoff and Charles Consel
"Combining Program and Data Specialization"
ps pdfLuke Hornof and Trevor Jim
"Certifying Compilation and Run-time Code Generation"
ps pdfGerman Puebla, Manuel Hermenegildo and John P. Gallagher
"An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework"
ps pdfZhenjiang Hu, Masato Takeichi and Hideya Iwasaki
"Diffusion: Calculating Efficient Parallel Programs"
ps pdfMark Tullsen and Paul Hudak
"Shifting Expression Procedures into Reverse"
ps pdfMatthew Dwyer and John Hatcliff
"Slicing Software for Model Construction"
ps pdfWei-Ngan Chin, Aik-Hui Goh and Siau-Cheng Khoo
"Effective Optimization of Multiple Traversals in Lazy Languages"
ps pdfRalf Laemmel
"Declarative aspect-oriented programming"
ps pdfC. Barry Jay
"Partial Evaluation of shaped programs: experience with FISh"
ps pdfOlin Shivers
"Rehabilitating CPS (invited talk)"
Last modified: Monday, February 16th, 2009 6:22:13pm
HTML generated using WebIt!.