Wei-Ngan Chin Siau-Cheng Khoo Calculating Sized Types. 62-72 2000 PEPM http://doi.acm.org/10.1145/328690.328893 db/conf/pepm/pepm2000.html#ChinK00