Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu. Extending sized type with collection analysis. In Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003, San Diego, California, USA, June 7, 2003. pages 75-84, ACM, 2003. [doi]
Abstract is missing.