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.
No references recorded for this publication.
No citations of this publication recorded.