Type Theory & Functional Programming

Name: Type Theory & Functional Programming
Rating: 4.5 (47 reviews)
Author: ~YCP

上传者：~YCP 2019-01-02 11:01:40上传其他文件 500kb 热度 47次

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

Type Theory and Functional Programming

大小：0B | 2019-01-02 11:01:43
Type Theory & Functional Programming

大小：0B | 2019-01-02 11:01:40
类型理论与函数式编程Type Theory and Functional Programming

本书提供了类型理论的形式系统,并开发了程序和证明的示例。从功能编程的角度来看,本书强调了系统语言与...

大小：103B | 2020-08-22 23:07:34
Programming In Type Theory.pdf

ProgrammingInTypeTheory.pdf英文版

大小：0B | 2019-06-23 07:13:28
Drawing Programs The Theory and Practice of Schematic Functional Programming

大小：0B | 2019-04-06 14:14:12
类型理论与函数式编程Simon Thompson Type Theory and Functional Programming Simon Thompson

本书探讨了马丁-洛夫的构造型理论在计算机编程中的作用。本书的主要重点是如何将理论成功地应用到实践中。...

大小：0B | 2020-05-18 13:53:05
density functional theory

大小：0B | 2018-12-08 03:51:39
Intuitionistic Type Theory

IntuitionisticTypeTheory

大小：0B | 2019-06-05 05:34:45
density functional theory and the LDA

大小：0B | 2018-12-08 03:51:37
functional doodlesExploring Functional Programming in JavaScript

\"functional-doodles\" 是一个基于 JavaScript 的项目，帮助学习和实...

大小：7.47KB | 2024-12-25 14:36:35
Theory of Functional Differential Equations

TheoryofFunctionalDifferentialEquations

大小：0B | 2019-10-19 23:40:30
monads for functional programming

对于Monads介绍的很经典的一篇论文

大小：211KB | 2021-04-20 20:45:21
Functional Programming in R

Functional Programming in R: Advanced Statistical ...

大小：0B | 2018-12-26 00:10:08
Functional Python Programming

大小：0B | 2019-04-14 05:06:52
The Functional Approach to Programming

大小：0B | 2019-04-14 05:07:02
Categorical Logic and Type Theory

CategoricalLogicandTypeTheoryBartJACOBSResearchFel...

大小：0B | 2019-09-06 09:44:40