类型理论与函数式编程(Simon Thompson)Type Theory and Functional Programming (Simon Thompson
本书探讨了马丁-洛夫的构造型理论在计算机编程中的作用。本书的主要重点是如何将理论成功地应用到实践中。
用户评论
推荐下载
-
functional doodles理解与实践JavaScript中的函数式编程
functional-doodles是一个基于JavaScript的项目,很可能是一个用于学习或实践函数式编程的工具或库。在JavaScript中,函数式编程是一种编程范式,它强调使用纯函数和无副作用
0 2024-12-25 -
react simon says使用React和Redux构建的Simon Says游戏alien_monster源码
该项目是通过。 关于如何以及为何构建此应用程序的文章 西蒙说 因此,基本上,我需要一个理由来使用,然后我决定构建一个类似游戏的“ Simon Says” 你可以在玩 概要 该应用程序是使用构建的,因此
18 2021-03-11 -
density functional theory
density functional theory
84 2018-12-08 -
GoogleBillboard AP计算机科学课程美国Simon Lomon高中的Simon的APCSA课程的编程作业源码
Google广告牌 2004年7月,一个神秘的广告牌出现在硅谷。 它只说了 {first ten digit prime found in consecutive digits of e}.com 同
8 2021-02-23 -
AnEmbeddedSoftwarePrimer1ed_Simon嵌入式开发经典资料
An Embedded Software Primer (1ed - Simon) 嵌入式开发经典资料
24 2019-01-09 -
Thompson s group F and Linear group GL_infty ZZ
Thompson群~$F$~和线性群~$GL_{infty}(ZZ)$~,吴艳,陈晓漫,本文主要证明了存在一个单的李普西兹映射~$arphi:(F,d_{S})longrightarrow(H,d)$
7 2020-05-26 -
Thompson Sampling汤普森选样最优路线问题demo
根据python简单模拟交通环境模拟交通环境,根据汤普森选样建模解决最优路线问题。道路条数以及道路随机情况可自行更改。非常简单。
16 2020-08-05 -
NBA Klay Thompson Wallpaper HD Custom New Tab crx插件
用NBA Klay Thompson自定义页面替换新标签,该页面具有便笺,待办事项列表,Gmail未读计数和Klay Thompson高清壁纸。 ★“ NBA Klay Thompson Wallpa
18 2021-04-22 -
An Embedded Software Primer1ed Simon
AnEmbeddedSoftwarePrimer(1ed-Simon).
44 2019-07-26 -
Communication Systems4th Simon Haykin
communicationsystems第四版bySimonHankin,学习通讯相关必备教科书
25 2019-07-19
暂无评论