Personal memorandum for studying functional languages, theorem proving, and formal verification. But other topics might be included. Written in Japanese (Shift-JIS Encoding).
26 September, 2010
[event] Reading TAPL
Types and Programming Languages ( http://www.amazon.co.jp/dp/0262162091 ) という定番の教科書を読もうという読書会です。 東京近辺の方はぜひどうぞ。
No comments:
Post a Comment