Pages that link to "Item:Q2936798"
From MaRDI portal
The following pages link to Purely functional lazy non-deterministic programming (Q2936798):
Displaying 11 items.
- A new programming technique for lazy functional languages (Q1892182) (← links)
- Side-effect localization for lazy, purely functional languages via aspects (Q1929361) (← links)
- Implicit self-adjusting computation for purely functional programs (Q2875225) (← links)
- Transforming Functional Logic Programs into Monadic Functional Programs (Q3003513) (← links)
- (Q3104401) (← links)
- (Q3148334) (← links)
- Automatic Proof and Disproof in Isabelle/HOL (Q3172879) (← links)
- Purely functional lazy nondeterministic programming (Q4918241) (← links)
- Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism (Q5108531) (← links)
- Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach (Q5302889) (← links)
- Singular and plural functions for functional logic programming (Q5410261) (← links)