The SBRAL data structure
Skew Binary Random-Access Lists
Posted on April 10, 2026
(Last modified on July 13, 2026)
|
15 min
|
Massimo Nocentini
Pattern matching
Scheme macrology: a generalized pattern matcher
Posted on February 24, 2026
(Last modified on July 14, 2026)
|
6 min
|
Massimo Nocentini
The (aux hansei) modules
Inference, random sources, lazy lists, logic programming and example models
Posted on February 5, 2026
(Last modified on October 21, 2026)
|
131 min
|
Massimo Nocentini
The (aux nondeterministic) module
Posted on February 5, 2026
(Last modified on February 11, 2026)
|
18 min
|
Massimo Nocentini
Learning tests for Scheme
Posted on February 5, 2026
(Last modified on March 9, 2026)
|
4 min
|
Massimo Nocentini
The (aux stream) modules
Streams, streams after SICP, and sequences and power series
Posted on February 5, 2026
(Last modified on October 21, 2026)
|
27 min
|
Massimo Nocentini
The (aux unittest) module
Bootstrapping a unittest framework
Posted on February 5, 2026
(Last modified on February 11, 2026)
|
8 min
|
Massimo Nocentini
Scheme lang: Chez, 48 and Chicken
Some docs, refs and containers, respectively.
Posted on January 22, 2026
(Last modified on February 11, 2026)
|
1 min
|
Massimo Nocentini
The Reasoned Schemer
miniKanren, microKanren and some implementations
Posted on March 9, 2018
(Last modified on July 10, 2026)
|
19 min
|
Daniel P. Friedman William E. Byrd Oleg Kiselyov Jason Hemann
Aggregation predicates for µkanren
Groups, window functions, sets and enumerations
Posted on September 9, 2012
(Last modified on July 10, 2026)
|
3 min
|
Massimo Nocentini