Data Types as Objects.

Adi Shamir, William W. Wadge

Browse the full ICALP paper archive.