(Enter summary)
Abstract: This paper proposes a set of communication primitives for
Haskell, to be used in open distributed systems, i.e. systems where multiple
executing programs can interact using a prede
ned protocol. Functions
are \
rst class citizens" in a functional language, hence it would be
natural transfer them between programs in a distributed system. However,
existing distributed Haskell extensions are limited to closed systems
or restrict the set of expressions that can be communicated. The
former... (Update)
Cited by: More
Implementing Mobile Haskell - Bois, Trinder, Loidl (2004)
(Correct)
Active bibliography (related documents): More All
2.8: Functional and (Constraint) Logic Programming, Proc. of the 12th.. - Vidal (2003)
(Correct)
0.7: Towards Mobility Skeletons - Andr Rauber Du (2004)
(Correct)
0.5: Correctness of Non-determinism Analyses in a - Parallel-Functional Language..
(Correct)
Similar documents based on text: More All
0.7: mHaskell: Mobile Computation in a Purely Functional Language - Bois, Trinder, Loidl (2004)
(Correct)
0.4: A Declarative Parallel Bottom-Avoiding Choice - Bois, Pointon, Loidl, Trinder (2002)
(Correct)
0.3: Implementing Declarative Parallel Bottom-Avoiding Choice - Bois, Pointon, Loidl, Trinder (2002)
(Correct)
BibTeX entry: (Update)
Andre R. Du Bois, Phil Trinder, and Hans-Wolfgang Loidl. Towards a Mobile Haskell. In Proc. of the 12th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2003), pages 113--116, Valencia (Spain), 2003. http://citeseer.ist.psu.edu/rauber03towards.html More
@misc{ bois03towards,
author = "A. Bois and P. Trinder and H. Loidl",
title = "Towards a Mobile Haskell",
text = "Andre R. Du Bois, Phil Trinder, and Hans-Wolfgang Loidl. Towards a Mobile
Haskell. In Proc. of the 12th International Workshop on Functional and (Constraint)
Logic Programming (WFLP 2003), pages 113--116, Valencia (Spain), 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/rauber03towards.html" }
Citations (may not include all citations):
342
The anatomy of the Grid: Enabling scalable virtual organizat..
- Foster, Kesselman et al. - 2001
278
Algorithmic Skeletons: Structured Management of Parallel Com.. (context) - Cole - 1989
210
Implementing Lazy Functional Languages on Stock Hardware: Th..
- Jones - 1992
94
Seven good reasons for mobile agents (context) - Lange, Oshima - 1999
74
Abstractions for mobile computation
- Cardelli - 1999
37
and Sigbjorn Finne (context) - Jones, Gordon - 1996
34
Jocaml: Mobile agents for ObjectiveCaml
- Conchon, Le Fessant - 1999
34
Distributed programming in a multi-paradigm declarative lang..
- Hanus - 1999
28
The Eden Coordination Model for Distributed Memory Systems
- Breitinger, Loogen et al. - 1997
24
Dynamic types and type dependent functions
- Pil - 1998
22
Language Support for Mobile Agents
- Knabe - 1995
21
ACM Transactions on Programming Languages and Systems (context) - Cejtin, Jagannathan et al. - 1995
20
Tackling awkward squad monadic inputoutput
- Jones, awkward et al. - 2001
16
Provably secure programming languages for remote evaluation
- Volpano - 1996
14
The design and implementation of Glasgow Distributed Haskell
- Pointon, Trinder et al. - 2000
11
Towards a strongly typed functional operating system
- van Weelden, Plasmeijer - 2003
10
Distributed programming in Haskell with ports
- Huch, Norbisrath - 2000
8
WWW page (context) - Haskell, http et al. - 1998
7
Mobility and Security (context) - Cardelli - 1999
7
Laboratory for Foundations of Computer Science (context) - Kirli, with et al. - 2001
7
Implementing Eden - or: Dreams Become Reality
- Klusik, Ortega-Mallen et al. - 1999
6
Transactions on Software Engineering (context) - Fuggetta, Picco et al. - 1998
4
Hans-Wolfgang Loidl (context) - Trinder, Hammond - 1998
4
Nomadic Pict: Language and Infrastructure Design for Mobile ..
- Wojciechowski - 2000
3
WWW page (context) - http, erlang - 2003
3
Parallel and distributed Haskells
- Trinder, Loidl et al. - 2002
3
and Rinus Plasmeijer (context) - Nocker, Smetsers et al. - 1991
2
A polynomial cost non-determinism analysis
- na, Segura - 2002
Documents on the same site (http://www.cee.hw.ac.uk/~trinder/publications.html): More
Comprehensions, a Query Notation for DBPLs - Trinder (1990)
(Correct)
A Parallel Functional Database on GRIP - Akerholt, Hammond, Jones, Trinder (1991)
(Correct)
Towards a Theory of Bulk Types - Watt, Trinder (1991)
(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