|
..
|
|
|
|
2009 | Thesis | Relational Programming in MiniKanren | William Byrd.pdf
|
Loading commit data...
|
|
|
2013 | muKanren - A Minimal Functional Core | Hemann.pdf
|
Loading commit data...
|
|
|
2018 | The Reasoned Schemer, second edition | Daniel P. Friedman, William E. Byrd, Oleg Kiselyov, Jason Hemann.pdf
|
Loading commit data...
|
|