関数型まつり2026

2026 年に読む “The Definition of Standard ML” 〜 現代の堅牢なソフトウェア設計の源流として

芳賀 雅樹 (silasolla)@silasollaTrack A50 分

Standard MLの形式的仕様を現代のソフトウェア設計の視点で読み解く。型の抽象化やモジュール境界、仕様と実装の分離という判断軸が分かる。

スライド

doc.silasol.la でスライドを開く

同じ技術の発表を探す

発表概要の全文は fortee の発表ページ で読めます。