Standard ML to D translation

[BLS]

Hi folks,
is there somebody out who knows about the ML programming language ?
ML is IMO only known in academic circles, but for some reasons I am 
interested in translating some  ML code into D (if possible); 
Unfortunately there are very little information available; This is not a 
urgent request but every hint and help is welcome.
Bjoern
nanali at nospammmmm wanadoo dott fr

Quote :
Standard ML is a safe, modular, strict, functional, polymorphic 
programming language with compile-time type checking and type inference, 
garbage collection, exception handling, immutable data types and 
updatable references, abstract data types, and parametric modules. It 
has efficient implementations and a formal definition with a proof of 
soundness.