GITLAB
Francisco Coelho
/
zugzwang
Toggle navigation
Sign in
Sign in
Project
Files
Commits
Network
Graphs
Issues
0
Merge Requests
0
Wiki
master
old-remote
87b4cf2d41fe6165aa4910a82c39480ca91bda8e
Download zip
Select Archive Format
Download zip
Download tar.gz
Download tar.bz2
Download tar
zugzwang
biblio
kanren
Name
Last Update
Last Commit
87b4cf2d
– (pre) paper progress with eq.rel defntion
History
..
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...