Partial Evaluation for Haskell Extended Abstract

Introduction This paper gives a brief introduction to partial evaluation of typed functional languages and presents initial research into building a practical partial evaluator for a first-order subset of Haskell using the Template Haskell infrastructure. Partial evaluation has traditionally been done for untyped strict functional languages such as Scheme. We look at the difficulties in finding a feasible type for our partial evaluation function that avoids using to