mHaskell: Mobile Computation in a Purely Functional Language
| dc.creator | Bois,Andrè Rauber Du | |
| dc.creator | Trinder,Phil | |
| dc.creator | Loidl,Hans-Wolfgang | |
| dc.date | 2005 | |
| dc.date.accessioned | 2024-02-06T12:53:46Z | |
| dc.date.available | 2024-02-06T12:53:46Z | |
| dc.description | 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. | |
| dc.format | text/html | |
| dc.identifier | https://doi.org/10.3217/jucs-011-07-1234 | |
| dc.identifier | https://lib.jucs.org/article/28443/ | |
| dc.identifier.uri | https://openrepository.mephi.ru/handle/123456789/8809 | |
| dc.language | en | |
| dc.publisher | Journal of Universal Computer Science | |
| dc.relation | info:eu-repo/semantics/altIdentifier/eissn/0948-6968 | |
| dc.relation | info:eu-repo/semantics/altIdentifier/pissn/0948-695X | |
| dc.rights | info:eu-repo/semantics/openAccess | |
| dc.rights | J.UCS License | |
| dc.source | JUCS - Journal of Universal Computer Science 11(7): 1234-1254 | |
| dc.subject | Haskell | |
| dc.subject | functional programming | |
| dc.subject | mobile computation | |
| dc.subject | programming languages | |
| dc.title | mHaskell: Mobile Computation in a Purely Functional Language | |
| dc.type | Research Article |