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
Citations:63 - 19 self