Pages that link to "Item:Q3455643"
From MaRDI portal
The following pages link to Unifying Theories of Programming with Monads (Q3455643):
Displaying 4 items.
- Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code (Q532398) (← links)
- A functional account of probabilistic programming with possible worlds. Declarative pearl (Q2163171) (← links)
- (Q3395336) (← links)
- A trustful monad for axiomatic reasoning with probability and nondeterminism (Q5152658) (← links)