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