ORBIT: an optimizing compiler for scheme
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Embedding continuations in procedural objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
I-structures: data structures for parallel computing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Memory coherence in shared virtual memory systems
ACM Transactions on Computer Systems (TOCS)
The definition of Standard ML
Performance of the Firefly RPC
ACM Transactions on Computer Systems (TOCS)
Facile: a symmetric integration of concurrent and functional programming
International Journal of Parallel Programming
PVM: a framework for parallel distributed computing
Concurrency: Practice and Experience
How to write parallel programs: a first course
How to write parallel programs: a first course
Concurrent programming: principles and practice
Concurrent programming: principles and practice
CML: A higher concurrent language
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
A foundation for an efficient multi-threaded scheme system
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Integrating message-passing and shared-memory: early experience
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
Procs and locks: a portable multiprocessing platform for standard ML of New Jersey
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
Computation migration: enhancing locality for distributed-memory parallel systems
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
Parallel programming in Split-C
Proceedings of the 1993 ACM/IEEE conference on Supercomputing
Cache performance of garbage-collected programs
PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
A practical soft type system for Scheme
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
Software versus hardware shared-memory implementation: a case study
ISCA '94 Proceedings of the 21st annual international symposium on Computer architecture
A language with distributed scope
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Piranha scheduling: strategies and their implementations
International Journal of Parallel Programming
A tractable Scheme implementation
Lisp and Symbolic Computation
Implementing remote procedure calls
ACM Transactions on Computer Systems (TOCS)
Revised report on the algorithmic language scheme
ACM SIGPLAN Lisp Pointers
Efficient parallel global garbage collection on massively parallel computers
Proceedings of the 1994 ACM/IEEE conference on Supercomputing
Scalable Distributed Garbage Collection for Systems of Active Objects
IWMM '92 Proceedings of the International Workshop on Memory Management
Effective Flow Analysis for Avoiding Run-Time Checks
SAS '95 Proceedings of the Second International Symposium on Static Analysis
SOSP '83 Proceedings of the ninth ACM symposium on Operating systems principles
Provably secure programming languages for remote evaluation
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Distributed partial evaluation
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
A framework to support mobile users of multimedia applications
Mobile Networks and Applications - Special issue on mobile computing and system services
Transparent communication for distributed objects in Java
JAVA '99 Proceedings of the ACM 1999 conference on Java Grande
Verischemelog: Verilog embedded in Scheme
Proceedings of the 2nd conference on Domain-specific languages
A framework to support large-scale active applications
EW 7 Proceedings of the 7th workshop on ACM SIGOPS European workshop: Systems support for worldwide applications
Flexible distributed programming using mobile code
EW 7 Proceedings of the 7th workshop on ACM SIGOPS European workshop: Systems support for worldwide applications
D'Caml: Native Support for Distributed ML Programming in Heterogeneous Environment
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
The Design and Implementation of Glasgow Distributed Haskell
IFL '00 Selected Papers from the 12th International Workshop on Implementation of Functional Languages
Authentication for Mobile Agents
Mobile Agents and Security
On the Interaction of Mobile Processes and Objects
HCW '98 Proceedings of the Seventh Heterogeneous Computing Workshop
Evaluating distributed functional languages for telecommunications software
Proceedings of the 2003 ACM SIGPLAN workshop on Erlang
A Mobile Computational model for Internet programming
ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
MetaKlaim: a type safe multi-stage language for global computing
Mathematical Structures in Computer Science
Integrating User-Level Threads with Processes in Scsh
Higher-Order and Symbolic Computation
Scientific Programming
Verischemelog: Verilog embedded in scheme
DSL'99 Proceedings of the 2nd conference on Conference on Domain-Specific Languages - Volume 2
Evaluating high-level distributed language constructs
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Implementation and use of the PLT scheme Web server
Higher-Order and Symbolic Computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
The two-state solution: native and serializable continuations accord
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
| Hi-index | 0.00 |
We describe a distributed implementation of Scheme that permits efficient transmission of higher-order objects such as closures and continuations. The integration of distributed communication facilities within a higher-order programming language engenders a number of new abstractions and paradigms for distributed computing. Among these are user-specified load-balancing and migration policies for threads, incrementally linked distributed computations, and parameterized client-server applications. To our knowledge, this is the first distributed dialect of Scheme (or a related language) that addresses lightweight communication abstractions for higher-order objects.