Semantics for communication primitives in a polymorphic language (1993)

by Atsushi Ohori , Kazuhiko Kato
Venue:In Proc. 20th ACM Symp. on Principles of Programming Languages
Citations:38 - 7 self

Documents Related by Co-Citation

418 Obliq - A language with distributed scope – Luca Cardelli - 1995
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
260 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
18 Smart Remote Procedure Calls: Transparent Treatment of Remote Pointers – Kenji Kono, Kazuhiko Kato, Takashi Masuda - 1994
939 Implementing remote procedure calls – Andrew D. Birrell, Bruce Jay Nelson - 1984
514 Fine-grained Mobility in the Emerald System – Eric Jul, Henry Levy, Norman Hutchinson, Andrew Black - 1988
74 Language Support for Mobile Agents – Frederick Colville Knabe, Doug Tygar, Alessandro Giacalone Ecrc - 1995
38 Extensional polymorphism – C Dubois, F Rouaix, P Weis - 1995
57 A compilation method for ML-style polymorphic record calculi – Atsushi Ohori - 1992
254 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
67 Tag-free Garbage Collection Using Explicit Type Parameters – Andrew Tolmach
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
625 Compiling With Continuations – A W 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
153 Mobile agents – J White - 1997
1000 Bigraphs and Mobile Processes – Ole H√łgh Jensen, Robin Milner - 2003
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
244 Typing and Subtyping for Mobile Processes – Benjamin Pierce , Davide Sangiorgi - 1996