Type Inference and Extensionality

Adolfo Piperno, Simona Ronchi Della Rocca

Browse the full LICS paper archive.