PAKCS: The

   

Portland
Aachen
Kiel

Curry System

KiCS2: Compiling Curry to Haskell

-->