State-dependent representation independence.

Amal Ahmed, Derek Dreyer, Andreas Rossberg

Browse the full POPL paper archive.