Pages that link to "Item:Q4918241"
From MaRDI portal
The following pages link to Purely functional lazy nondeterministic programming (Q4918241):
Displayed 6 items.
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics (Q3130301) (← links)
- Counting Successes: Effects and Transformations for Non-deterministic Programs (Q3188280) (← links)
- Compiling a Functional Logic Language: The Fair Scheme (Q3453653) (← links)
- Not by equations alone: Reasoning with extensible effects (Q5018775) (← links)
- Generating constrained random data with uniform distribution (Q5371949) (← links)
- \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches (Q6151758) (← links)