The following pages link to Comprehending Ringads (Q3188283):
Displaying 5 items.
- A divertimento on MonadPlus and nondeterminism (Q2374316) (← links)
- An algebra for distributed Big Data analytics (Q4577811) (← links)
- (Q5020617) (← links)
- Iterating on multiple collections in synchrony (Q5101923) (← links)
- Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory (Q6597957) (← links)