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
Handling control
Posted on June 1, 1993
(Last modified on May 11, 2026)
|
1 min
|
Dorai Sitaram