Eļ¬cient representations for triangular substitutions
A comparison in miniKanren
Posted on March 1, 2015
| 1 min
| 168 words
| David C. Bender
| Lindsey Kuper
| William E. Byrd
| Daniel P. Friedman
miniKanren, live and untagged
Quine generation via relational interpreters
Posted on September 9, 2012
| 3 min
| 466 words
| William E. Byrd
| Eric Holk
| Daniel P. Friedman