The Haskell Road to Logic, Maths and Programming. Second Edition
- 作者
- 出版社 College Publications
- 出版时间 2004年5月
- ISBN 9780954300692
内容简介
Thepurposeofthisbookistoteachlogicandmathematicalreasoninginpractice,andtoconnectlogicalreasoningwithcomputerprogramming.Throughoutthetext,abstractconceptsarelinkedtoconcreterepresentationsinHaskell.Everythingonehasto
— END —