The SBRAL data structure
Skew Binary Random-Access Lists
Posted on April 10, 2026
(Last modified on July 13, 2026)
|
12 min
|
Massimo Nocentini
The Reasoned Schemer
miniKanren, microKanren and some implementations
Posted on March 9, 2018
(Last modified on July 10, 2026)
|
7 min
|
Daniel P. Friedman William E. Byrd Oleg Kiselyov Jason Hemann