The following pages link to Datatypes with shared selectors (Q1799121):
Displaying 6 items.
- Superposition with datatypes and codatatypes (Q1799098) (← links)
- Unified selection from lists, arrays, and objects. (Q1872688) (← links)
- Polite combination of algebraic datatypes (Q2090130) (← links)
- Politeness for the theory of algebraic datatypes (Q2096449) (← links)
- Syntax-guided quantifier instantiation (Q2233503) (← links)
- Synthesising programs with non-trivial constants (Q6161231) (← links)
