Implicit self-adjusting computation for purely functional programs
From MaRDI portal
Recommendations
- Implicit self-adjusting computation for purely functional programs
- A consistent semantics of self-adjusting computation
- A Consistent Semantics of Self-adjusting Computation
- Functional programming for dynamic and large data with self-adjusting computation
- Imperative self-adjusting computation
- Compiling self-adjusting programs with continuations
- Adaptive functional programming
- scientific article; zbMATH DE number 1332639
- Purely functional lazy nondeterministic programming
- Purely functional lazy non-deterministic programming
Cites work
- A filter lambda model and the completeness of type assignment
- A monadic analysis of information flow security with mutable state
- scientific article; zbMATH DE number 194259 (Why is no real title available?)
- scientific article; zbMATH DE number 2107521 (Why is no real title available?)
- Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change
- Principles of programming languages
Cited in
(6)- Computation by interaction for space-bounded functional programming
- Functional programming for dynamic and large data with self-adjusting computation
- Imperative self-adjusting computation
- Implicit self-adjusting computation for purely functional programs
- An approach to completing variable names for implicitly typed functional languages
- A Consistent Semantics of Self-adjusting Computation
This page was built for publication: Implicit self-adjusting computation for purely functional programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2875225)
