Pages that link to "Item:Q2936798"
From MaRDI portal
The following pages link to Purely functional lazy non-deterministic programming (Q2936798):
Displayed 5 items.
- Side-effect localization for lazy, purely functional languages via aspects (Q1929361) (← links)
- Transforming Functional Logic Programs into Monadic Functional Programs (Q3003513) (← links)
- Automatic Proof and Disproof in Isabelle/HOL (Q3172879) (← links)
- Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism (Q5108531) (← links)
- Singular and plural functions for functional logic programming (Q5410261) (← links)