Human Folly about “ML”

index

• (smlnj.org):

  SML/NJ seems to still be alive, using #LLVM these days. #ML #compilers

  on 02024-11-28
• 1ML (people.mpi-sws.org):

  "1ML" is “a reboot of #ML starting from first-class modules, and unifies core and module layer into one small and consistent language”, from 2015.

  on 02017-11-25