instance, languages of the ML family are all statically-typed functional
languages with strict/eager evaluation. These include [[!wikipedia Standard ML desc="SML"]] and
[[!wikipedia Caml]] and [[!wikipedia Nemerle]]. SML in turn has several variants
-or implementations: [[!wikipedia MLton]], [[!wikipedia SML/NJ]], [[!wikipedia Moscow ML]],
-and [[!wikipedia Mythryl]].
+or implementations: [[!wikipedia MLton]], [[!wikipedia Standard ML of New Jersey desc="SML/NJ"]], [[!wikipedia Moscow ML]],
+and [[!wikipedia Mythryl]]. Microsoft's [[!wikipedia F Sharp (programming language) desc="F#"]]
+is derived from Caml.
Other statically-typed functional languages with strict/eager evaluation are
[[!wikipedia Scala (programming language) desc="Scala"]] and [[!wikipedia