SML#:最先端の機能と高い実用性を実現する次世代多相型プログラミング言語 (特集 学と産の連携による基盤ソフトウェアの先進的開発) -- (高い生産性を持つ高信頼ソフトウェア作成技術の開発) / 大堀 淳