reasoned-schemer


The reasoned schemer

Logic and functional programming combined. This book continues the tradition of little-schemer and seasoned-schemer. It should be published July 2005. Its website can be found at http://www.ccs.neu.edu/home/matthias/BRS/

See http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=10663

Book Information

Book Review

Some students at Indiana have seen parts of this in their coursework.


category-texts