Type Theory and Functional Programming

txwg5217 38 0 PDF 2019-01-02 11:01:43

Simon Thompson 写的关于类型理论，函数语言编程方面的书籍。

推荐下载

Optimizationhasbeenexpandinginalldirectionsatanastonishingrateduringthelastfewdecades.Newalgorithmic

好不容找到Per Martin Lof在1984年的讲稿,学习DTT的基本文献

Functional Programming in Java How functional techniques improve your No watermark original pdf

DFPT理论计算五氧化二钒的拉曼光谱,周波,Deyan He,本文利用基于密度泛函理论的从头计算方法计算了五氧化二钒的能带结构和振动性质。文中计算的五氧化二钒的结构是通过对实验数据进

A chemist's guide to density functional theory Wiley-VCH; 2001

Semi-Supervised Learning Based on Information Theory and Functional Dependency Rules of Probability

real-world-functional-programming-with-examples-in-f#-and-c#

显示了从命令式编程到函数式编程的过渡。介绍了lambda演算,如何向其添加类型以及如何使用ML来实现基本的功能编程,多态性,异常和命令式功能。

Haskell-TheCraftofFunctionalProgramming,2ed(Addison-Wesley,1999)byTantanoid

ScalaFunctionalProgrammingPatterns英文无水印pdfpdf所有页面使用FoxitReader和PDF-XChangeViewer测试都可以打开本资源转载自网络,如有侵权

用户评论

请输入评论内容

评分：

暂无评论