Computational Category Theory
http://kolhoz.tiera.ru/M_Mathematics/MA_Algebra/MAct_Category%20theory/Rydeheard%20D.E.,%20Burstall%20R.M.%20Computational%20category%20theory%20(c.%201990)(263s).pdf
を読むために、SMLからOCamlへの変換を調査。
Computational Category Theory
http://kolhoz.tiera.ru/M_Mathematics/MA_Algebra/MAct_Category%20theory/Rydeheard%20D.E.,%20Burstall%20R.M.%20Computational%20category%20theory%20(c.%201990)(263s).pdf
を読むために、SMLからOCamlへの変換を調査。