プログラミング言語Standard ML入門（改訂版）

プログラミング言語 Standard ML 入門 (問題の解答例)

I Standard ML言語 7.6 無限なデータ構造の定義と利用 8.1 参照型（eqtype

\tau

ref）と逐次評価

第 8 章参照型

8.1 参照型（eqtype $\tau$ ref）と逐次評価

8.2 履歴に依存するプログラム

8.3 変更可能なデータ構造

8.6 SML#のランク1多相性