An Interval-Based Inference of Variant Parametric Types.

Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin

Browse the full ESOP paper archive.