\begin{thebibliography}{1}

\bibitem{Taka11:suI}
高橋陽一郎ほか：数学I，啓林館 (2011).

\bibitem{Asai07}
浅井健一：プログラミングの基礎，サイエンス社 (2007).
\newblock サポートページ：\url{http://pllab.is.ocha.ac.jp/~asai/book/Top.html}.

\bibitem{Meck05}
RobertMecklenburg（著），矢吹道郎（監訳），菊池彰（訳）：GNU Make
  第3版，O'Reilly (2005).
\newblock Available from \url{https://www.oreilly.co.jp/library/4873112699/}.

\bibitem{MiTH97}
Milner, R., Tofte, M. and Harper, R.: {\em The Definition of Standard ML
  (revised}, MIT Press (1997).
\newblock Available from \url{https://smlfamily.github.io/}.

\bibitem{Paul96}
Paulson, L.C.: {\em ML for the Working Programmer (2nd Ed.)}, Cambridge
  University Press (1996).
\newblock Available from \url{https://www.cl.cam.ac.uk/~lp15/MLbook/}.

\bibitem{Ullm96}
Ullman, J.D.: {\em Elements of ML Programming}, Prentice-Hall, Inc. (1994).
\newblock Supplemental materials available from
  \url{http://infolab.stanford.edu/~ullman/emlp.html}.

\bibitem{CoMa98}
Cousineau, G. and Mauny, M.: {\em The Functional Approach to Programming},
  Cambridge University Press (1998).

\end{thebibliography}