See this document in CiteSeerX!

Towards a Mobile Haskell (2003)  (Make Corrections)  (1 citation)
André Rauber Du Bois, Phil Trinder, Hans-Wolfgang Loidl



  Home/Search   Context   Related

 
View or download:
macs.hw.ac.uk/~trinder/pape...wflp03.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cee.hw.ac.uk/~trin...publications (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(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