The Free On-line Dictionary of Computing (30 December 2018):

sml2c

   A Standard ML to C compiler.  sml2c is a batch compiler and
   compiles only module-level declarations, i.e. signatures,
   structures and functors.  It provides the same pervasive
   environment for the compilation of these programs as SML/NJ.
   As a result, module-level programs that run on SML/NJ can be
   compiled by sml2c without any changes.  Based on SML/NJ
   version 0.67 and shares front end and most of its run-time
   system, but does not support SML/NJ style debugging and
   profiling.

   School of Computer Science, Carnegie Mellon University

   (ftp://dravido.soar.cs.cmu.edu/usr/nemo/sml2c/sml2c.tar.Z).
   Linux
   (ftp://ftp.dcs.glasgow.ac.uk/pub/linux/smlnj-0.82-linux.tar.Z).

   conformance:	superset
   	+ first-class continuations,
   	+ asynchronous signal handling
   	+ separate compilation
   	+ freeze and restart programs

   ports: IBM-RT Decstation3100 Omron-Luna-88k Sun-3 Sun-4
   386(Mach)

   portability:	easy, easier than SML/NJ

   E-mail: , 

   (1991-06-27)