ningcsdnhite
这家伙很懒，什么也没写
Intuitionistic Type Theory Per Martin Lof1984
好不容找到Per Martin Lof在1984年的讲稿,学习DTT的基本文献
数据库 9 0 PDF 2020-11-24 11:11:38
Genetic Programming An Introduction
GeneticProgrammingAnIntroductionOntheAutomaticEvolutionofComputerProgramsanditsApplications，本书介绍机器学习的一个分之：遗传编程。讲述如何通过遗传算法生成满足测试用例的代码。
机器学习 21 0 PDF 2020-05-15 23:05:31
Computational category theory.pdf
introductiontobasiccategorytheory
专业指导 44 0 PDF 2019-06-27 08:06:55
The Haskell School of Expression
AgoodintroductiontotheprogramminglanguageHaskellandfunctionalprogrammingingeneral:"TheHaskellSchoolofExpression"
专业指导 28 0 RAR 2019-05-28 04:05:56
categorytheoryforprogrammers
categorytheoryforprogrammers，本书介绍范畴论的各个概念，并使用haskell和c++实现这些概念，阐明与函数式编程的关系。学习本书有助于提高抽象能力，学习函数式编程的高级设计模式。
其他 16 0 PDF 2019-05-15 09:05:30
Functional Programming.pdf
an introduction book to functional programming
其他 28 0 PDF 2019-04-05 22:04:20
CategoricalcombinatorsSequentialAlgorithmsandFunctionalProgramming
give a concrete approach to the semantics of sequential programming languages, with application to the design and implementation of programming langua
讲义 20 0 DJVU 2019-02-27 13:02:24
AppliedGeneticProgrammingandMachineLearning
This book delivers theoretical and practical knowledge on extension of Genetic Programming (GP) for practical applications. It provides a methodology
机器学习 23 0 PDF 2019-02-22 21:02:56
MasteringLambdasJavaProgramminginaMulticoreWorld
he Definitive Guide to Lambda Expressions Mastering Lambdas: Java Programming in a Multicore World describes how the lambda-related features of Java S
Java 20 0 MOBI 2019-01-18 00:01:49