対象とする聴衆のレベル（該当するレベルを記載してください。）

• Intermediate: 分野の基礎知識を持っている

セッションのテーマ（該当するテーマを記載してください。なければ追加頂いて良いです）

• 言語処理系（コンパイラー、インタープリターなど）
• 理論

セッションの概要

SML# は我々が開発しているML系関数型言語であり，そのコンパイラはMITライセンスによって公開されている．

本講演では，まずSML# の概要およびその特徴的な機能を紹介した後，SML# コンパイラの内部構造およびその特徴的なフェーズが基礎とする理論の概要を解説する．この理解を背景に，SML# のソースコードを活かしたオープンなコンパイラプロジェクトを提案する．このプロジェクトは，

• 種々の拡張等が可能な言語開発基盤の構築，
• 新しい機能実現のための型理論の構築

などをオープンに共同で行うことを意図している．そのためにSML# チームは，そのためのSML# の内部構造やコンパイラの基礎理論等のノウハウや知識を提供する．それ以上のオープンの意味は，今後の参加者に委ねられる．