Efficient Inference of Partial Types

Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach

Browse the full FOCS paper archive.