A self-applicable partial evaluator for a subset of Haskell

Partial evaluation is becoming very promising as a programming tool, as its practice is now well developed. But the theorical foundation are not equally well understood. In this paper, we report on the making of a partial evaluator for a functionnal language deriving from Haskell. And we discuss on the many problems arised from its self-application, theorical as much as practical.