Wei-Ngan Chin Siau-Cheng Khoo Dana N. Xu Higher-Order Polymorphic Sized Types for Safety Checks. 117-131 2001 conf/aplas/2001 APLAS db/conf/aplas/aplas2001.html#ChinKX01