There is an F# implementation (Microsoft flavoured ML) called DiffSharp