A Type System for the Relational Calculus of Object Systems - Sciweavers

33

click to vote

more ICECCS 2006 ...

www.is.pku.edu.cn

Tweet