積ん読

• 『スマリヤンの決定不能の論理パズル』1 型の推論者で既に混乱しているのに、4 型の推論者とか出てきて泣きそう。紙と鉛筆がないと読めないし、遅々として進まず。
• 『To Mock a Mockingbird』Amazon で ￥1,500 以下だったので、脊髄反射でクリック。↑が終わったら読む。それにしても安すぐる。
• 『Implementing Functional Language: a tutorial』これで Grass のインタプリタに遅延評価を！
• 『Lambda-Calculus and Combinators: An Introduction』『Semantics of Programming Languages: Structures and Techniques』m-hiyama さんと bonotake さんに紹介していただいた。明らかに自分のレベルではムリだけど、いずれちゃんと読みたい。

スマリヤンの決定不能の論理パズル―ゲーデルの定理と様相理論

To Mock a Mockingbird

Lambda-Calculus and Combinators: An Introduction

Semantics of Programming Languages: Structures and Techniques (Foundations of Computing)