応用例とか色々載ってます。さんによる、セッション型ライブラリの解説です。セッション型、と云うのは、チャンネルを介したスレッドやネットワーク通信が整合的に行われていることを、型で静的に保証する手法です。証明駆動開発の日本語入門文献として挙げておきました。結果的には殆んど何も云えなかったんですが......。解説とか採り上げた、ではなくあくまで言及した、です。物によっては名前出しただけですね......。解説したものには★を付けてあります。軽く説明したものは☆です。名前だけ出した、ものは何も付いてません。