F#入門 ~関数プログラミングとは何か~
これからの「言語」の話をしよう ―― 未来を生きるためのツール
CLR/H No.35-2
[(F#における)Modus Ponens と Cut]
大人のお型付け