onixie正在读的书 >
-
Types and Programming Languages
(55人已评价)Benjamin C·Pierce | The MIT Press | 2002-2-1Atypesystemisasyntacticmethodforautomaticallycheckingtheabsenceofcertainerroneousbehaviorsbyclassify...
-
The Haskell Road to Logic, Maths and Programming. Second Edition
(11人已评价)College Publications | 2004-5-7Thepurposeofthisbookistoteachlogicandmathematicalreasoninginpractice,andtoconnectlogicalreasoningwit...