|
Kees Doets and Jan van Eijck.
Interesting textbook combining executable notation (i.e., Haskell) and math.
I really like this approach, but never tried it, so I don't really know if it can work well in practice.
Posted to teaching/learning by Ehud Lamm on 5/10/04; 9:06:06 AM
|
The Haskell Road to Logic, Maths and Programming
