A type-based semantics for user-defined marshalling in polymorphic languages (1998)

by D Duggan
Venue:Proc. 1998 International Workshop on Types in Compilation, volume 1473 of LNCS