日々の流転

λ. 型システムを設計する方法論

Type Systems for Resource Bounded Programming and Compilation - Case for Support よりメモ。

The methodology for achieving these goals will be as before: analyse the common patterns of representative case studies, identify appropriate invariants, cast them into an abstract (usually category-theoretic) model, and finally describe the model by a type system.