2009-11-21から1日間の記事一覧
http://www.cis.upenn.edu/~bcpierce/papers/modules-icfp.ps モジュール間の参照をどう扱うか?1.はスケールしない。2, 3を使おう。 parameterization on modules -> functor sharing by specification -> reference the module direct sharing by paramete…
http://www.cis.upenn.edu/~bcpierce/papers/modules-icfp.ps モジュール間の参照をどう扱うか?1.はスケールしない。2, 3を使おう。 parameterization on modules -> functor sharing by specification -> reference the module direct sharing by paramete…