Kanren

miniKanren, live and untagged

Quine generation via relational interpreters

Posted on September 9, 2012 | 2 min | 244 words | William E. Byrd | Eric Holk | Daniel P. Friedman

acm kanren scheme papers programming pearls