Travaux en Haskell Complétion de compilateur pour des languages dynamiques et statiques (slip et sslip)