swMATH22186MaRDI QIDQ33981FDOQ33981
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007/3-540-48515-5_7
Cited In (49)
- Parallel functional programming in Eden
- Title not available (Why is that?)
- Title not available (Why is that?)
- Continuation semantics for parallel Haskell dialects
- Trends in trends in functional programming 1999/2000 versus 2007/2008
- Title not available (Why is that?)
- Transparent fault tolerance for scalable functional computation
- Asynchronous stream processing with S-Net
- Title not available (Why is that?)
- Costing stepwise refinements of parallel programs
- Skeleton-based parallel programming: functional and parallel semantics in a single shot
- The Peter Landin prize
- Executable structural operational semantics in Maude
- Implementing data parallel rational multiple-residue arithmetic in Eden
- Computation semantics of the functional scientific workflow language Cuneiform
- Implementation of Functional Languages
- eSkel
- ParGAP
- Ivor
- GHC
- Erlang
- Alfalfa
- Camlflow
- GUM
- iTasks
- SKIPPER
- AoPA
- Symgrid
- VAMPIR
- OPERA
- Sisal
- Nikola
- CUBIC
- Lucid
- BSMLlib
- EdenTV
- Hume
- Hop
- Hive
- Cuneiform
- Muesli
- Vector
- To be or not to be …lazy (In a Parallel Context)
- Table space designs for implicit and explicit concurrent tabled evaluation
- Hume box calculus: Robust system development through software transformation
- Skeleton composition versus stable process systems in Eden
- Using Maude and its strategies for defining a framework for analyzing Eden semantics
- Using Template Haskell for abstract interpretation
- Graph-based communication in Eden
This page was built for software: Eden
