Works on a transformation system for transformation of HaskellLanguage programs, called PATH (Programmer Assistant for Transforming Haskell).