SML#プロジェクト
SML#ホームページへようこそ
SML#は東北大学電気通信研究所 大堀研究室 が開発を進めているプログラミング言語です.従来のStandard MLの定義と後方互換性を保ちながら,我々の基礎研究で得られた実用上重要な成果を取り入れて設計されています.
ニュース
- SML#を実用システム開発に適用し高い生産性と信頼性を達成することを目指した産学共同研究の開始に伴い,平成25年2月13日より電気通信研究所公開講座「ソフトウェア技術者のための高信頼関数型言語活用技術」を開始します.NECソフトウエア東北様に共催いただき,SML#を活用して実用システムを開発するためのプログラミング技術を解説します.多数のご参加をお待ちしております.
- バージョン1.2.0をリリースしました.
Keyword(s):
References:[メニュー]