この資料をSMS送信: Types and programming languages / Benjamin C. Pierce.