Searching for "Concurrent Haskell." – sorted by Relevance.
-
Concurrent Haskell
- Concurrent Haskell Simon Peyton Jones University of Glasgow Andrew Gordon University of Cambridge
- Cited by 155 (13 self) – Add To MetaCart
-
Concurrent Haskell
- Concurrent Haskell Simon Peyton Jones University of Glasgow Andrew Gordon University of Cambridge
- Add To MetaCart
-
Concurrency Abstractions for Concurrent Haskell
- Concurrency abstractions for Concurrent Haskell Volker Stolz 1 and Frank Huch 2 1 RWTH Aachen
- Add To MetaCart
-
Synthesis of Concurrent Haskell Programs . . .
- Synthesis of Concurrent Haskell programs from Message Sequence Charts Volker Stolz stolz@i2
- Add To MetaCart
-
Runtime Verification of Concurrent Haskell
- Runtime Verification of Concurrent Haskell (work in progress) Volker Stolz 1 and Frank Huch 2 1
- Add To MetaCart
-
Composable Memory Transactions in Concurrent Haskell
- Composable Memory Transactions in Concurrent Haskell Frank Huch and Frank Kupke University of Kiel
- Add To MetaCart
-
Runtime verification of Concurrent Haskell programs
- Runtime Verification of Concurrent Haskell Programs Abstract Volker Stolz RWTH Aachen University
- Cited by 2 (2 self) – Add To MetaCart
-
Abstract A Concurrent ML Library in Concurrent Haskell
- Abstract A Concurrent ML Library in Concurrent Haskell In Concurrent ML, synchronization
- Add To MetaCart
-
An Implementation of Parallel Pattern-matching via Concurrent Haskell
- An Implementation of Parallel Pattern-matching via Concurrent Haskell Lyndon While and Greg
- Cited by 2 (1 self) – Add To MetaCart
-
The UniForM Concurrency Toolkit and its Extensions to Concurrent Haskell
- The UniForM Concurrency Toolkit and its Extensions to Concurrent Haskell Einar W. Karlsen Bremen
- Cited by 11 (6 self) – Add To MetaCart

