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
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
miniKanren, live and untagged
Quine generation via relational interpreters
Posted on September 9, 2012
(Last modified on July 10, 2026)
|
9 min
|
William E. Byrd Eric Holk Daniel P. Friedman
Pure, declarative, and constructive arithmetic relations
A declarative pearl
Posted on April 14, 2008
(Last modified on July 10, 2026)
|
1 min
|
William E. Byrd Oleg Kiselyov Daniel P. Friedman Chung-Chieh Shan
Final shift for call/cc
Direct implementation of shift and reset
Posted on September 17, 2002
(Last modified on February 20, 2026)
|
11 min
|
Martin Gasbichler Michael Sperber
Call with Current Continuation Patterns
Posted on February 1, 2001
(Last modified on February 23, 2026)
|
1 min
|
Darrell Ferguson Dwight Deugo
Cogen in six lines
Posted on June 15, 1996
(Last modified on May 13, 2026)
|
1 min
|
Peter J. Thiemann
The Seasoned Schemer
Posted on January 31, 1996
(Last modified on February 23, 2026)
|
5 min
|
Daniel P. Friedman Matthias Felleisen
The Little Schemer
Posted on January 30, 1996
(Last modified on February 20, 2026)
|
4 min
|
Daniel P. Friedman Matthias Felleisen
Adding generic functions to Scheme
Posted on April 1, 1995
(Last modified on May 8, 2026)
|
1 min
|
Thant Tessman