"Global abstraction-safe marshalling with hash types."

James J. Leifer et al. (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics