Logical Relations and Data Abstraction.

John Power, Edmund Robinson

Browse the full CSL paper archive.