TY - GEN
T1 - A type-based implementation of a language with distributed scope
AU - Duggan, Dominic
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1997.
PY - 1997
Y1 - 1997
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=21744456530&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=21744456530&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:21744456530
SN - 9783540628521
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 277
EP - 293
BT - Mobile Object Systems
A2 - Vitek, Jan
A2 - Tschudin, Christian
T2 - 2nd International Workshop on Mobile Object Systems, MOS 1996
Y2 - 8 July 1996 through 9 July 1996
ER -