Daniel P. Friedman

2018

Mar 9 The Reasoned Schemer

2012

Sep 9 miniKanren, live and untagged

2008

Apr 14 Pure, declarative, and constructive arithmetic relations

1996

Jan 31 The Seasoned Schemer
Jan 30 The Little Schemer