Dominic Duggan. A Type-Based Semantics for User-Defined Marshalling in Polymorphic Languages. In Xavier Leroy, Atsushi Ohori, editors, Types in Compilation, Second International Workshop, TIC 98, Kyoto, Japan, March 25-27, 1998, Proceedings. Volume 1473 of Lecture Notes in Computer Science, pages 273-297, Springer, 1998. [doi]