Ngan Chin and Siau Cheng Khoo. Calculating sized types (2000)

by Wei
Venue:ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation