Optimal inference of fields in row-polymorphic records.

Axel Simon

Browse the full PLDI paper archive.