Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu. Extending Sized Type with Collection Analysis. In The Third Asian Workshop on Programming Languages and Systems, APLAS 02, Shanghai Jiao Tong University, Shanghai, China, November 29 - December 1, 2002, Proceedings. pages 396-413, 2002.
Abstract is missing.