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.
-
Kiyoshi Yamatodani for early stage of SML# compiler development and SML# programming tools: SMLFormat、SMLDoc、SMLUnit、and LMLML.
-
Satoshi Osaka for development of a new pattern maching algorithm based on a denotational semantics and implementation.
-
Huu-Duc Nguyen for a compilation method of ML with tag-free natural data representation and implementation of the initial SML# backend.
-
Liu Bochao for module compilation
-
Isao Sasano for lightweight fusion
-
Toshiaki Otomo for non-moging GC
-
NEC Solutions Innovators Co. Ltd (NEC Software Tohoku) for a joint project of an ERP system development
-
Tomohiro Sasaki for natural join in SML# (reored in (ML Family Workshop) and partial dynamic records
-
Hisayuki Mima for finitary polymorphism and its appication to compiler optimization
We have also benefited from many other researchers from 1989; compiling a comprehensive list is difficult and omitted.