challenge ciphertext

Archive

作ってみた→tell - MyMiniCity

普段棲んでいるドメイン下では書けないようなlambdaな事を綴る． あと草稿とかも置いたりするかも．

って言うか，ここの使い方ってよくわからないんだけど，「転載」指向のblogか？ここ？

「Add to friends」とか書いてあるボタンは割と無差別に押してます．

Thu Nov 5

7/16の読みたいものリスト

ranha:

LCF MLについての一冊。

http://www.amazon.com/Edinburgh-LCF-Mechanized-Computation-Computer/dp/3540097244

Polymorphic type inference and assignment

http://gallium.inria.fr/~xleroy/publi/polymorphic-assignment.pdf

“Further reading”

http://caml.inria.fr/pub/docs/manual-caml-light/node20.html

CAML Primer

http://hal.inria.fr/inria-00070045/en/

全てcamlspotterさん情報

“Edinburgh-LCF-Mechanized-Computation-Computer”はちょっと大学の演習のからみがあるので優先して読みたいですね。