State-dependent representation independence (2009)

by Amal Ahmed, Derek Dreyer, Andreas Rossberg
Venue:In Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages