次世代の高機能・高信頼プログラミング環境の実現を目指して、プログラミング言語SML#の研究開発を推進しています。
　SML#は、関数型言語Standard MLをベースに、最新の基礎研究で得られた実用上重要な成果を取り入れて設計されている、新しい関数型言語です。SML#の最大の特徴は、従来の関数型言語では難しかった、C言語、SQL、外部データなど、関数型言語の外にある資源とのシームレスな連携を実現していることです。SML#を用いることで、高水準で宣言的な記述や型理論に裏打ちされた信頼性など、従来からの関数型言語の特長はそのままに、オペレーティングシステムやデータベース、マルチコアCPUなどを活用したプログラムを書くことができます。
　ML系関数型言語は、その優れた性質から、計算機科学分野の研究者によって、定理自動証明システムなどに長年使用されてきました。SML#は、ML系関数型言語の適用範囲をエンジニアによる一般のシステム開発にも広げることを目指しています。それにより、ソフトウェア産業における実用システム開発の生産性・信頼性の向上に貢献すると期待されます。

OSの機能やデータベースを利用しながら、手続き型でないスタイルで直截にプログラムを書くことができます。日本で開発されている日本発の関数型プログラミング言語です。