下愚正在读的书 >
-
鲁迅全集(2005最新修订版)
(3046人已评价)鲁迅 | 人民文学出版社 | 2005-11-1鲁迅〔1881年9月25日~1936年10月19日〕,中国文学家、思想家和革命家。原名周树人,字豫才,浙江绍兴人。出身于破落封建家庭。青年时代受进化论、尼采超人哲学和托尔斯泰博爱思想的影响。1902年...
-
Types and Programming Languages
(55人已评价)Benjamin C·Pierce | The MIT Press | 2002-2-1Atypesystemisasyntacticmethodforautomaticallycheckingtheabsenceofcertainerroneousbehaviorsbyclassify...
-
Practical Foundations for Programming Languages
暂无评论Robert Harper | Cambridge University Press | 2012-11Inthisinnovativebook,ProfessorRobertHarperoffersafreshperspectiveonthefundamentalsofprogramminglangu...