Atsushi Ohori, Kazuhiko Kato  Home/Search
Context Related
Links: ACM | jaist.ac.jp/~ohori/ohor93popl.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: jaist.ac.jp/~ohori/list (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We propose a method to extend an ML-style polymorphic language with transparent communication primitives, and give their precise operational semantics. These primitives allow any polymorphic programs definable in ML to be used remotely in a manner completely transparent to the programmer. Furthermore, communicating programs may be based on different architecture and use different data representations. We define a polymorphic functional calculus with transparent communication primitives, which... (Update)
Context of citations to this paper: More
...the shape in advance. This appears to be in conflict with the well known incompatibility of references and polymorphism ( Tof88] and also [OK93]) but in FISh all polymorphism is instantiated statically, before execution. The function type 1 2 represents functions from 1...
...compiler and linker. It does not support distributed address space and is incapable to send closures across the network. The dML [10] incorporates dynamic types in the ML type system and proposes a theoretical foundation of inter node communication between independent ML...
Cited by: More
Compiling Polymorphism Using Intensional Type - Analysis Robert Harper (Correct)
Guarded Recursive Datatype Constructors - Xi, Chen, Chen (2003) (Correct)
D'Caml: A Native Distributed ML Compiler for Heterogeneous .. - Wakita, Asano, Sassa (1999) (Correct)
Similar documents (at the sentence level):
67.5%: Semantics for Communication Primitives in a Polymorphic Language - Ohori, Kato (1993) (Correct)
Active bibliography (related documents): More All
1.7: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.5: Polymorphism and Type Inference in Database Programming - Buneman, Ohori (1994) (Correct)
0.3: Static Type Inference for Parametric Classes - Ohori (1989) (Correct)
Similar documents based on text: More All
0.5: An Approach to Multilanguage Persistent Type System - Kato, Ohori (1992) (Correct)
0.4: A Compilation Method for ML-Style Polymorphic Record Calculi - Ohori (1992) (Correct)
0.3: A Type System that Reconciles Classes and Extents - Buneman, Ohori (Correct)
Related documents from co-citation: More All
8: A language with distributed scope - Cardelli - 1995
7: The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
6: Pointer swizzling at page fault time: Efficiently and compatibly supporting huge.. - Wilson, Kakkad - 1992
BibTeX entry: (Update)
Atsuhi Ohori and Kazuhiko Kato. Semantics for communication primitives in a polymorphic language. In Conference Record of the ACM Symposium on Principles of Programming Languages, Charleston, January 1993. ACM Press. http://citeseer.ist.psu.edu/article/ohori93semantics.html More
@inproceedings{ ohori93semantics,
author = "Atsushi Ohori and Kazuhiko Kato",
title = "Semantics for Communication Primitives in an Polymorphic Language",
booktitle = "Conference Record of the Twentieth Annual {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages",
address = "Charleston, South Carolina",
pages = "99--112",
year = "1993",
url = "citeseer.ist.psu.edu/article/ohori93semantics.html" }
Citations (may not include all citations):809 A theory of type polymorphism in programming (context) - Milner - 1978 DBLP
476 Implementing remote procedure calls - Birrell, Nelson - 1984 ACM DBLP
388 On understanding types (context) - Cardelli, Wegner - 1985
343 Principal typeschemes for functional programs (context) - Damas, Milner - 1982
315 Dynamic typing in a statically-typed language - Abadi, Cardelli et al. - 1991 ACM DBLP
311 Abstract types have existential type (context) - Mitchell, Plotkin - 1988 ACM DBLP
261 Dynamic typing in polymorphic languages - Abadi, Cardelli et al. - 1992 DBLP
200 Programming languages for distributed computing systems (context) - Bal, Steiner et al. - 1989 ACM DBLP
193 An approach to persistent programming (context) - Atkinson, Bailey et al. - 1983 ACM DBLP
162 Unboxed objects and polymorphic typing - Leroy - 1992 ACM DBLP
159 CML: A higher-order concurrent language (context) - Reppy - 1991
103 The Denition of Standard ML (context) - Milner, Tofte et al. - 1990
87 Operational Semantics and Polymorphic Type Inference (context) - Tofte - 1988
75 A value transmission method for abstract data types (context) - Herlihy, Liskov - 1982 ACM DBLP
72 A semantics for ML concurrency primitives - Berry, Milner et al. - 1992 ACM DBLP
55 A compilation method for ML-style polymorphic record calculi - Ohori - 1992
41 Programming Methodology Group Memo (context) - Liskov, Bloom et al. - 1987
30 Mach and Matchmaker: kernel and language support for object-.. (context) - Jones, Rashid - 1986 ACM DBLP
26 Dynamics in ML - Leroy, Mauny - 1991 ACM DBLP
15 Facilitating mixed language programming in distributed syste.. (context) - Hayes, Schlichting - 1987 ACM DBLP
5 Distributed programming with asynchronous ordered channels i.. (context) - Cooper, Krumvieda - 1992
3 Polymoprhism and type inference in database programming (context) - Buneman, Ohori - 1992
2 Note in Standard ML of New Jersey Distribution Package (context) - MacQueen, weak - 1988
1 An approach to multilanguage persistent type system - Kato, Ohori - 1992
1 Our LISP are sealed: Interfacing functional and logic progra.. (context) - Lindstrom, luszy et al. - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.jaist.ac.jp/~ohori/list.html): More
An Equational Object-Oriented Data Model and its.. - Nishimura, Ohori, Tajima (1996) (Correct)
Proof-Directed De-compilation of Low-Level Code - Katsumata, Ohori (2001) (Correct)
A Curry-Howard Isomorphism for Compilation and Program Execution.. - Ohori (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC