Extending sized type with collection analysis.

Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu

Browse the full PEPM paper archive.