久しぶりにLanguage-Based Information-Flow Securityを読み直そうと探してたら上の論文もみつけた。読んでみよう。

酒井君のところにSLam Calculusのことが書いてあったけど、SLam Calculusは簡単に言えば型付きラムダ計算に、データの機密性のようなものを型として与える計算体系みたいなものかな。確か。 型チェックを通れば機密性の高いデータがそれよりも低いデータから…