[PRL] The Haskell Road to Logic, Maths and Programming

[Matthias Felleisen]

Hm, I have heard of people using Lisp and later Scheme systematically 
for teaching logic so that they could easily do the encoding of syntax. 
When I was a grad student I even heard of someone writing a book using 
Lisp. Of course that was ages ago. For all I know it was written and is 
out of print by now. But then that wouldn't matter anyway. I have been 
told by the Dutch school more than once that Scheme isn't a functional 
language and in their mind probably not even a programming language :-) 
-- Matthias


On Feb 6, 2006, at 5:34 AM, Riccardo Pucella wrote:

> Hi folks,
>
> Some of you may know this one already, but I just I came across a
> review of a introductory math/logic textbook that uses Haskell as an
> implementation language. Sounds interesting.
>
> The book is "The Haskell Road to Logic, Maths and Programming", by
> Doets and van Eijck, King's College Publications.
>
> The review:  http://arxiv.org/abs/cs.PL/0512096
>
>
>  Cheers,
>  Riccardo
>
>
> _______________________________________________
> PRL mailing list
> PRL at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/prl