Distributed Programming, a Purely Functional Approach
Abstract
No abstract available.
Related papers
- NixOS: a purely functional Linux distribution ICFP 2008
- NixOS: A purely functional Linux distribution JFP 2010
- Experience report: using functional programming to manage a linux distribution ICFP 2007
- Inductive benchmarking for purely functional data structures JFP 2001
- On coinductive equivalences for higher-order probabilistic functional programs POPL 2014
- Level-p-complexity of Boolean functions using thinning, memoization, and polynomials JFP 2023
- Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing OOPSLA 2024
- Futhark: purely functional GPU-programming with nested parallelism and in-place array updates PLDI 2017