Acknowledments

From its start in 2003, we have benefited from many peoples and organizations.

Project funding

SML# development was started as a part of the 5 year project e-Society leading project: highly productive reliable software development technologies (Project Director: Professor Takuya Katayama) under the title `` reliable software development technology based on automatic program analysis (chief investigator: Atsushi Ohori) ‘’ sponsored by the Japan ministry of science, education and technologies.

Third-party code and software tool used in SML# development

Since the version 1.0 had completed, SML# has been developed by the SML# compiler itself. Before that, we had used Standard ML of New Jersey for development and MLTon compiler for building distributions.

The SML# compiler is a software developed by the SML# development team. We have wrote most of the code of SML# compiler from scratch, except for the following codes:

     
contents location in SML# distribution source code
ML-Yacc src/ml-yacc Standard ML of New Jersey 110.73
ML-Lex src/ml-lex Standard ML of New Jersey 110.73
ML-Lpt src/ml-lpt Standard ML of New Jersey 110.99
SML/NJ Library src/smlnj-lib Standard ML of New Jersey 110.99
TextIO, BinIO, OS, Date, Timer src/smlnj Standard ML of New Jersey 110.73
floating point-string conversion src/runtime/netlib the Netlib

All of the above are open-source software that are compatible with SML# license. The SML# source distribution includes the license of each of them at the ``location in SML# distribution’’ show above.

Collaborators

Many people have contributed to research and development of SML#. The following people directly contributed to SML# research.

We have also benefited from many other researchers from 1989; compiling a comprehensive list is difficult and omitted.