A typed store-passing translation for general references (0)

by F POTTIER
Venue:in "Proceedings of the 38th ACM Symposium on Principles of Programming Languages (POPL’11)", ACM Press