2008-09-24から1日間の記事一覧
memo:http://www.iis.sinica.edu.tw/~scm/2008/typed-lambda-calculus-interprete/
http://www.kb.ecei.tohoku.ac.jp/ml2008/program.htm の A Functional Implementation of the Garsia-Wachs Algorithm (functional pearl)がfunctional pearlと書いていて面白そうだったので、ACMのやつとか読めないからO'Browserを諦めてこっちを読んでみ…