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

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

6 Scopus citations

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.

Original languageEnglish
Title of host publicationTypes in Compilation - 2nd International Workshop, TIC 1998, Proceedings
EditorsXavier Leroy, Atsushi Ohori
Pages273-297
Number of pages25
DOIs
StatePublished - 1998
Event2nd International Workshop on Types in Compilation, TIC 1998 - Kyoto, Japan
Duration: 25 Mar 199827 Mar 1998

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1473
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference2nd International Workshop on Types in Compilation, TIC 1998
Country/TerritoryJapan
CityKyoto
Period25/03/9827/03/98

Fingerprint

Dive into the research topics of 'A type-based semantics for user-defined marshalling in polymorphic languages'. Together they form a unique fingerprint.

Cite this