京都大学数理解析研究所
1995 年 12 巻 2 号 p. 2_93-2_105
(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)
(BibDesk、LaTeXとの互換性あり)
今回は,MLに組み込まれている基本データ型の操作方法,MLの多相型システム,およびMLのプログラミングで重要な役割を果たすレコード型とリスト型について解説する.
すでにアカウントをお持ちの場合 サインインはこちら