It was a Microsoft Research project based on OCaml and adapted for .Net.