Many substructural type systems have been proposed for controlling access to shared state in higher-order languages. Central to these systems is the notion ...
確定! 回上一頁