KiCS2
From MaRDI portal
Cited in
(20)- Transforming Boolean equalities into constraints
- From Logic to Functional Logic Programs
- Rnamotif
- Curry
- FACTORIE
- EasyCheck
- TOY
- PAKCS
- RNAforester
- CHR.js
- FlatCurry
- nofib
- PFLP
- Locomotif
- Compiling a functional logic language: \textit{The Fair Scheme}
- Purely functional lazy non-deterministic programming
- Modeling dynamic programming problems over sequences and trees with inverse coupled rewrite systems
- From Boolean equalities to constraints
- Default rules for Curry
- Implementing a library for probabilistic programming using non-strict non-determinism
This page was built for software: KiCS2
