haskell-ja > Archives > 2011/12/17

2011/12/17 01:34:10 UTCmasahiro_sakai@twitter
#
@nobsun 意味論は「擬データを用いた対話的関数プログラミングに関する研究」の「第8章 擬データの簡約規則」ベースでも良いかも。