The following pages link to KiCS2 (Q19639):
Displayed 8 items.
- Modeling dynamic programming problems over sequences and trees with inverse coupled rewrite systems (Q1736602) (← links)
- Transforming Boolean equalities into constraints (Q2628300) (← links)
- Purely functional lazy non-deterministic programming (Q2936798) (← links)
- Compiling a Functional Logic Language: The Fair Scheme (Q3453653) (← links)
- Default rules for Curry (Q4593082) (← links)
- From Logic to Functional Logic Programs (Q5038460) (← links)
- Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism (Q5108531) (← links)
- From Boolean Equalities to Constraints (Q5743586) (← links)