Thanks for the link. I really appreciate HP has kept DEC papers alive, they are my main source into Modula-3 universe, but they are hard to search for.<p>Another possibility using something like the &quot;Tiger book&quot; and write a ML -&gt; C compiler for the C subset you care about, but by then maybe contributing to Ada (GNAT), Rust or Swift would be better use of time.<p>I also forgot to mention on my previous comment that Idris and F* also have C backends, but they might suffer from the same problems.