Sized Types

Calculating Sized Types

W.-N. Chin and S.-C. Khoo[ (ed)] (INPROCEEDINGS, 2000)

Proving the Correctness of Reactive Systems Using Sized Types

J. Hughes and L. Pareto and A. Sabry[ (ed)] (INPROCEEDINGS, 1996)