Lambda-Flow: A Parallel Functional Synchronous Dataflow Language
Abstract
No abstract available.
Related papers
- Let It Flow: A Formally Verified Compilation Framework for Asynchronous Dataflow PLDI 2026
- Functional reactive programming, continued Haskell 2002
- Parallel Programming With Coordination Structures POPL 1991
- Mechanized semantics and verified compilation for a dataflow synchronous language with reset POPL 2020
- Automatic inference of optimizer flow functions from semantic meanings PLDI 2007
- Removing Unnecessary Synchronization in Java OOPSLA 1999
- Stream processing with dependency-guided synchronization PPoPP 2022
- Communication-Sensitive Static Dataflow for Parallel Message Passing Applications CGO 2009