Pattern matching
Scheme macrology: a generalized pattern matcher
Posted on February 24, 2026
| 6 min
| 1066 words
| Massimo Nocentini
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
Guarded commands, nondeterminacy and formal derivation of programs
Posted on August 1, 1975
| 1 min
| 87 words
| Edsger W. Dijkstra