ningcsdnhite
这家伙很懒，什么也没写
Ta上传的资源 (0)
Intuitionistic Type Theory Per Martin Lof1984
好不容找到Per Martin Lof在1984年的讲稿,学习DTT的基本文献
Genetic Programming An Introduction
GeneticProgrammingAnIntroductionOntheAutomaticEvolutionofComputerProgramsanditsApplications，本书介绍机器学习的一个分之：遗传编程。讲述如何通过遗传算法生成满足测试用例的代码。
Computational category theory.pdf
introductiontobasiccategorytheory
The Haskell School of Expression
AgoodintroductiontotheprogramminglanguageHaskellandfunctionalprogrammingingeneral:"TheHaskellSchoolofExpression"
categorytheoryforprogrammers
categorytheoryforprogrammers，本书介绍范畴论的各个概念，并使用haskell和c++实现这些概念，阐明与函数式编程的关系。学习本书有助于提高抽象能力，学习函数式编程的高级设计模式。
Functional Programming.pdf
an introduction book to functional programming
CategoricalcombinatorsSequentialAlgorithmsandFunctionalProgramming
give a concrete approach to the semantics of sequential programming languages, with application to the design and implementation of programming langua
AppliedGeneticProgrammingandMachineLearning
This book delivers theoretical and practical knowledge on extension of Genetic Programming (GP) for practical applications. It provides a methodology
MasteringLambdasJavaProgramminginaMulticoreWorld
he Definitive Guide to Lambda Expressions Mastering Lambdas: Java Programming in a Multicore World describes how the lambda-related features of Java S