Kazuhiro Inaba
マルチパーティーの信頼できないセッションの型付けでありさらに、途中にDBのクエリ言語やトランザクションを経由する必要もあるので線形型を考慮したORマッパみたいなものが必要になって新規性あるのでは(適当)