Eden
From MaRDI portal
Cited in
(50)- Skeleton composition versus stable process systems in Eden
- Implementation of Functional Languages
- scientific article; zbMATH DE number 5503689 (Why is no real title available?)
- scientific article; zbMATH DE number 2102058 (Why is no real title available?)
- Executable structural operational semantics in Maude
- Transparent fault tolerance for scalable functional computation
- Asynchronous stream processing with S-Net
- Parallel functional programming in Eden
- To be or not to be …lazy (In a Parallel Context)
- Haskell
- eSkel
- ParGAP
- Ivor
- GHC
- Erlang
- The Peter Landin prize
- Costing stepwise refinements of parallel programs
- Skeleton-based parallel programming: functional and parallel semantics in a single shot
- Alfalfa
- Camlflow
- GUM
- iTasks
- SKIPPER
- AoPA
- Symgrid
- VAMPIR
- OPERA
- Sisal
- Nikola
- Implementing data parallel rational multiple-residue arithmetic in Eden
- CUBIC
- Lucid
- BSMLlib
- EdenTV
- Hume
- Hop
- Hive
- Cuneiform
- Muesli
- Vector
- Trends in trends in functional programming 1999/2000 versus 2007/2008
- Continuation semantics for parallel Haskell dialects
- scientific article; zbMATH DE number 1691457 (Why is no real title available?)
- Table space designs for implicit and explicit concurrent tabled evaluation
- Computation semantics of the functional scientific workflow language Cuneiform
- Using Template Haskell for abstract interpretation
- Graph-based communication in Eden
- Hume box calculus: Robust system development through software transformation
- scientific article; zbMATH DE number 2086493 (Why is no real title available?)
- Using Maude and its strategies for defining a framework for analyzing Eden semantics
This page was built for software: Eden
