Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,332,907 papers from all fields of science
Search
Sign In
Create Free Account
Concurrent Haskell
Concurrent Haskell extends Haskell 98 with explicit concurrency. The two main concepts underpinning Concurrent Haskell are: * A primitive type MVar…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
11 relations
Actor model and process calculi
Andrew D. Gordon
Business logic
Concurrent computing
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
An Abstract Distributed Middleware for Transactions over Heterogeneous Stores
Luca Geatti
,
F. Igne
,
Marino Miculan
Italian Conference on Theoretical Computer…
2019
Corpus ID: 208606955
We present an abstract middleware, called Acidify, for the coordination of transactions between distributed processes accessing…
Expand
2017
2017
Improvements for Concurrent Haskell with Futures ?
M. Schmidt-Schauß
,
David Sabel
,
Nils Dallmeyer
2017
Corpus ID: 53665405
We propose a model for measuring the runtime of concurrent programs by the minimal number of evaluation steps. The focus of this…
Expand
2016
2016
Understanding the energy Behavior of concurrent haskell programs
Luis Gabriel Lima
2016
Corpus ID: 67008188
Energy-efficiency has concerned hardware and low-level software designers for years. However, the rapid proliferation of battery…
Expand
2012
2012
An abstract machine for concurrent haskell with futures
David Sabel
Software Engineering
2012
Corpus ID: 11208943
We show how Sestoft’s abstract machine for lazy evaluation of purely functional programs can be extended to evaluate expressions…
Expand
2007
2007
Synthesis of Concurrent Haskell programs from Message Sequence Charts
V. Stolz
2007
Corpus ID: 18937908
In this article we show how to generate executable Concurrent Haskell programs from message sequence charts (MSCs). MSCs capture…
Expand
2007
2007
Master Thesis Application of Functional Languages to Massive and Complex Computational Problems
Pablo E. Mart
2007
Corpus ID: 17946139
Acknowledgements There are many people I want to mention, and I will try not to forget anybody. But, as human memory is fragile…
Expand
2003
2003
Runtime Verification of Concurrent Haskell (work in progress)
V. Stolz
,
F. Huch
2003
Corpus ID: 17400565
In this article we use model checking techniques to debug Concurrent Haskell programs. LTL formulas specifying assertions or…
Expand
2002
2002
Concurrency abstractions for Concurrent Haskell
V. Stolz
,
F. Huch
2002
Corpus ID: 16929256
In this article we propose a basic set of concurrency abstractions for Concurrent Haskell based on our experiences with various…
Expand
1998
1998
Concurrencia tradicional en programación funcional
P. Mocciola
1998
Corpus ID: 57769696
1997
1997
Using Concurrent Haskell to Develop User Interfaces over an Active Repository
E. W. Karlsen
,
Stefan Westmeier
1997
Corpus ID: 15149078
Views to the underlying repository of software objects within a Software Development Environment are, by nature, very dynamic…
Expand