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