Efficient Type Inference for Secure Information Flow
制約解消ではない方法で型推論を行うという論文。やり方としては、型付け規則を Datalog という論理型言語に基づくデータベースクエリ言語で記述するというのが中心。あとは効率の良いアルゴリズムの話ばかり。
author="Katia Hristova and Tom Rothamel and Yanhong A. Liu and Scott D. Stoller",
title="{Efficient Type Inference for Secure Information Flow}",
booktitle="PLAS'06",
publisher="ACM Press",
pages="85--94",
year="2006"