@inproceedings{2f33acbc42c24f0fa824a6a4b53813a8,
title = "A type-based semantics for user-defined marshalling in polymorphic languages",
abstract = "Marshalling is an important aspect of distributed programming, particularly in typed programming languages. A semantics is provided for userdefined marshalling operations in polymorphic languages such as ML. The semantics of this are expressed in an internal language with recursion and dynamic type dispatch at both the term and type levels. User-defined marshalling amounts to reifying dynamic type dispatch to the programmer level in an ML-like language. A {"}external{"} language XML dyn is provided with explicit pickle types and operations for building and deconstructing pickles with user-defined marshalling.",
author = "Dominic Duggan",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1998.; 2nd International Workshop on Types in Compilation, TIC 1998 ; Conference date: 25-03-1998 Through 27-03-1998",
year = "1998",
doi = "10.1007/bfb0055524",
language = "English",
isbn = "3540649255",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "273--297",
editor = "Xavier Leroy and Atsushi Ohori",
booktitle = "Types in Compilation - 2nd International Workshop, TIC 1998, Proceedings",
}