この資料をSMS送信: Practical foundations for programming languages