Purely functional lazy non-deterministic programming
From MaRDI portal
Recommendations
- Purely functional lazy nondeterministic programming
- Improving lazy non-deterministic computations by demand analysis
- Implementing a library for probabilistic programming using non-strict non-determinism
- scientific article; zbMATH DE number 5007864
- Transforming functional logic programs into monadic functional programs
Cited in
(13)- A new programming technique for lazy functional languages
- Side-effect localization for lazy, purely functional languages via aspects
- Implicit self-adjusting computation for purely functional programs
- Transforming functional logic programs into monadic functional programs
- scientific article; zbMATH DE number 5990080 (Why is no real title available?)
- scientific article; zbMATH DE number 1810493 (Why is no real title available?)
- Automatic proof and disproof in Isabelle/HOL
- Purely functional lazy nondeterministic programming
- Implementing a library for probabilistic programming using non-strict non-determinism
- Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach
- Improving lazy non-deterministic computations by demand analysis
- Singular and plural functions for functional logic programming
- FUNCTIONAL PEARLS: Probabilistic functional programming in Haskell
This page was built for publication: Purely functional lazy non-deterministic programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2936798)
