A Type System for the Relational Calculus of Object Systems.

Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu

Browse the full ICECCS paper archive.