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