gradual typing for functional languages
结合静态类型系统和动态类型系统的gradualtyping的介绍，
用户评论
推荐下载
-
Formal Languages and Compilers.pdf
学习形式语言和编译原理的很好的教材,非常经典,国外大学教授自己执笔写的教材,强烈推荐!
10 2020-10-24 -
语言和机器Languages And Machines
提供一种语言概念的观点,即作为遵循特定规则的字符串系统。 涵盖的主题包括逻辑,元语言,证明,有限状态机,图灵机,加密和编码。
14 2020-09-16 -
The Formal Semantics of Programming Languages An Introduction
The Formal Semantics of Programming Languages - An Introduction
14 2020-09-17 -
phpMyAdmin3.5.4all languages
mysql标准操作界面必须通过命令提示符的画面,通过mysql的指令来管理数据库的内容,要执行新增,编辑机删除数据库内容就必须学习sql语法,才能使用MYSQL数据库,而通过phpmyadmin,可以
10 2020-09-20 -
phpMyAdmin4.0.10.2all languages
最好用的管理MYSQL数据库的软件,可以让你方便的管理数所在,建 立数据表
10 2020-09-19 -
phpMyAdmin2.11.3all languages
配置PHP环境可用 配置方法: 1、先把压缩包里的内容解压到D:\inetpub\wwwroot\phpmyadmin 2、配置phpmyadmin的加密用的私钥 把$cfg['blowfish_se
13 2020-09-24 -
LANGUAGES GUIDE_WGL.pdf
WGL文件的说明书,详细介绍了WGL文件的语法格式,可以用来进行参考,或将其转换为ATE测试机的标准格式文件
10 2020-10-14 -
Rationale for International Standard Programming Languages
This Rationale summarizes the deliberations of INCITS J11 (formerly X3J11 and NCITS J11) and SC22 WG
16 2020-09-29 -
phpMyAdmin3.5.7all languages
phpmyadmin 最新版本 3.5.7 不太会配置,有朋友会搞的share一下
8 2020-09-27 -
Concepts.of.Programming.Languages.12921
For courses in computer programming. Evaluating the Fundamentals of Computer Programming Languages C
20 2020-10-03
暂无评论