Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 231,259,578 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.
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
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
2010
2010
Response Time Analysis of the Abort-and-Restart Model under Symmetric Multiprocessing
J. Ras
,
A. Cheng
10th IEEE International Conference on Computer…
2010
Corpus ID: 14731041
The Priority-Based Functional Reactive Programming (P-FRP) paradigm, aims to improve the programming of embedded microcontrollers…
Expand
2005
2005
A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell
F. Huch
,
Frank Kupke
International Symposium on Implementation and…
2005
Corpus ID: 23691224
Composable memory transactions are a new communication abstraction for Concurrent Haskell which provides the programmer with a…
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
2002
2002
Developing a high-performance web server in Concurrent Haskell
S. Marlow
Journal of functional programming
2002
Corpus ID: 22651303
Server applications, and in particular network-based server applications, place a unique combination of demands on a programming…
Expand
2002
2002
An Implementation of Parallel Pattern-Matching via Concurrent Haskell
Lyndon While
,
G. Mildenhall
Australasian Computer Science Conference
2002
Corpus ID: 2496749
Parallel pattern-matching offers the maximum laziness for programs written in lazy functional languages. Function arguments are…
Expand
1997
1997
Using Concurrent Haskell to Develop Views over an Active Repository
Einar W. Karlsen
,
Stefan Westmeier
Implementation of Functional Languages
1997
Corpus ID: 14813430
The UniForM WorkBench is an integration framework with Haskell features in support of data, control and presentation integration…
Expand
1997
1997
Using Concurrent Haskell to Develop User Interfaces over an Active Repository
Einar 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
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE