Inference_355 is a project mainly written in Haskell, it's free.
Small project of a type inference system for inf355, Telecom ParisTech
404: Not Found