The following pages link to Algebras for combinatorial search (Q3638924):
Displayed 4 items.
- A functional account of probabilistic programming with possible worlds. Declarative pearl (Q2163171) (← links)
- Composable Discovery Engines for Interactive Theorem Proving (Q3088022) (← links)
- List Objects with Algebraic Structure (Q5111312) (← links)
- Structured handling of scoped effects (Q6166800) (← links)