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

Document Versions

State-dependent representation independence –Amal Ahmed, Derek Dreyer, Andreas Rossberg — 2009 — In Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
State-dependent representation independence –Amal Ahmed, Derek Dreyer, Andreas Rossberg — 2009 — Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’09
State-dependent representation independence –Amal Ahmed, Derek Dreyer, Andreas Rossberg — 2009 — In 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL
State-dependent representation independence –Amal Ahmed, Derek Dreyer, Andreas Rossberg — 2009 — In ACM Symposium on Principles of Programming Languages (POPL
State-dependent representation independence –Amal Ahmed, Derek Dreyer, Andreas Rossberg — 2009 — In POPL