A type-based implementation of a language with distributed scope

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

1 Scopus citations

Abstract

Several languages have been designed and implemented for programming mobile computations. This chapter describes a mobile code language based on extending the popular ML language. The language design, and its implementation, are distinguished by the use of run-time type information for computation. This is intended to motivate the use of run-time types in implementations of languages intended for distributed programming and mobile computations, particularly languages such as ML that provide type polymorphism.

Original languageEnglish
Title of host publicationMobile Object Systems
Subtitle of host publicationTowards the Programmable Internet - 2nd International Workshop, MOS 1996, Selected Presentations and Invited Papers
EditorsJan Vitek, Christian Tschudin
Pages277-293
Number of pages17
StatePublished - 1997
Event2nd International Workshop on Mobile Object Systems, MOS 1996 - Linz, Austria
Duration: 8 Jul 19969 Jul 1996

Publication series

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

Conference

Conference2nd International Workshop on Mobile Object Systems, MOS 1996
Country/TerritoryAustria
CityLinz
Period8/07/969/07/96

Fingerprint

Dive into the research topics of 'A type-based implementation of a language with distributed scope'. Together they form a unique fingerprint.

Cite this