mHaskell: Mobile computation in a purely functional language

André Rauber Du Bois, Phil Trinder, Hans Wolfgang Loidl

Research output: Contribution to journalArticlepeer-review

6 Citations (Scopus)


We provide a complete description of mHaskell, a new mobile programming language that extends the Haskell functional language. We describe new stateful mobility primitives that use higher-order channels, giving their operational semantics and an implementation outline. We show how medium-level coordination abstractions can be constructed using monadic composition of the mobility primitives. We briefly outline how high-level mobile coordination abstractions, or mobility skeletons, can be defined using the lower-level abstractions. The use of all three abstractions is demonstrated with examples and a new case study: a distributed stateless web server where a thread farm skeleton is used to distribute work to remote locations. © J.UCS.

Original languageEnglish
Pages (from-to)1234-1254
Number of pages21
JournalJournal of Universal Computer Science
Issue number7
Publication statusPublished - 2005


  • Functional Programming
  • Haskell
  • Mobile Computation
  • Programming Languages


Dive into the research topics of 'mHaskell: Mobile computation in a purely functional language'. Together they form a unique fingerprint.

Cite this