miniKanren
From MaRDI portal
MiniKanren
Cited in
(20)- lolliCoP
- HiLog
- The first-order syntax of variadic functions
- Mercury
- Scheduling complexity of interleaving search
- A functional account of probabilistic programming with possible worlds. Declarative pearl
- aleanTAP
- OpenRuleBench
- FLORA
- Executable relational specifications of polymorphic type systems using Prolog
- Datafun
- KANREN
- PFLP
- PRIZ
- Typed Relational Conversion
- Review of “The Little Prover” by Daniel P. Friedman and Carl Eastlund, MIT Press, 2015
- Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)
- α lean TA P: A Declarative Theorem Prover for First-Order Classical Logic
- MzScheme
- Debugging hygienic macros
This page was built for software: miniKanren
