Pattern matching
Scheme macrology: a generalized pattern matcher
Posted on February 24, 2026
| 6 min
| 1066 words
| Massimo Nocentini
The (aux hansei) module
Posted on February 5, 2026
| 8 min
| 1686 words
| Massimo Nocentini
The (aux nondeterministic) module
Posted on February 5, 2026
| 18 min
| 3729 words
| Massimo Nocentini
Learning tests for Scheme
Posted on February 5, 2026
| 4 min
| 690 words
| Massimo Nocentini
The (aux stream) module
Posted on February 5, 2026
| 2 min
| 223 words
| Massimo Nocentini
The (aux unittest) module
Bootstrapping a unittest framework
Posted on February 5, 2026
| 5 min
| 875 words
| Massimo Nocentini
Scheme lang: Chez, 48 and Chicken
Some docs, refs and containers, respectively.
Posted on January 22, 2026
| 1 min
| 162 words
| Massimo Nocentini
The Reasoned Schemer
miniKanren, microKanren and some implementations
Posted on March 9, 2018
| 6 min
| 1266 words
| Massimo Nocentini
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