|
396
|
Obliq - A language with distributed scope
– Luca Cardelli
- 1995
|
|
1497
|
The Definition of Standard ML
– Robin Milner, Mads Tofte, Robert Harper
- 1990
|
|
252
|
Compiling polymorphism using intensional type analysis
– Robert Harper, Greg Morrisett
- 1995
|
|
9
|
Distributed C language based on a higher-order remote procedure call technique
– K Kato, A Ohori, T Murakami, T Masuda
- 1993
|
|
17
|
Smart Remote Procedure Calls: Transparent Treatment of Remote Pointers
– Kenji Kono, Kazuhiko Kato, Takashi Masuda
- 1994
|
|
890
|
Implementing remote procedure calls
– Andrew D. Birrell, Bruce Jay Nelson
- 1984
|
|
72
|
Language Support for Mobile Agents
– Frederick Colville Knabe, Doug Tygar, Alessandro Giacalone Ecrc
- 1995
|
|
56
|
A compilation method for ML-style polymorphic record calculi
– Atsushi Ohori
- 1992
|
|
238
|
Pict: A programming language based on the pi-calculus
– Benjamin C. Pierce, David N. Turner
- 1997
|
|
65
|
Tag-free Garbage Collection Using Explicit Type Parameters
– Andrew Tolmach
|
|
490
|
A Syntactic Approach to Type Soundness
– Andrew K. Wright, Matthias Felleisen
- 1992
|
|
595
|
Compiling with Continuations
– Andrew Appel
- 1992
|
|
8
|
An Implementation Method of Migratable Distributed Objects using an RPC Technique Integrated with Virtual Memory Management
– Kenji Kono, Kazuhiko Kato, Takashi Masuda
- 1996
|
|
151
|
Mobile Agents
– J White
- 1997
|
|
493
|
Fine-grained Mobility in the Emerald System
– Eric Jul, Henry Levy, Norman Hutchinson, Andrew Black
- 1988
|
|
213
|
CML: A Higher-Order Concurrent Language
– J H Reppy
- 1991
|
|
229
|
Typing and Subtyping for Mobile Processes
– Benjamin Pierce , Davide Sangiorgi
- 1996
|
|
933
|
Bigraphs and Mobile Processes
– Ole Høgh Jensen, Robin Milner
- 2003
|
|
3119
|
Communicating Sequential Processes
– C. A. R. Hoare
- 2004
|
