James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough. Global abstraction-safe marshalling with hash types. SIGPLAN Notices, 38(9):87-98, 2003. [doi]
@article{LeiferPSW03-0, title = {Global abstraction-safe marshalling with hash types}, author = {James J. Leifer and Gilles Peskine and Peter Sewell and Keith Wansbrough}, year = {2003}, doi = {10.1145/944746.944714}, url = {http://doi.acm.org/10.1145/944746.944714}, tags = {abstraction}, researchr = {https://researchr.org/publication/LeiferPSW03-0}, cites = {0}, citedby = {0}, journal = {SIGPLAN Notices}, volume = {38}, number = {9}, pages = {87-98}, }