文件名称:Types_and_Programming_Languages.pdf.tar
介绍说明--下载内容来自于网络,使用问题请自行百度
A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute.
相关搜索: 函数式编程
(系统自动生成,下载前可以参看下载内容)
下载文件列表
文件名 | 大小 | 更新时间 |
---|---|---|
6a42afb94d6aac87b683aa41beb10dac | 2242560 | 2017-12-15 |
本网站为编程资源及源代码搜集、介绍的搜索网站,版权归原作者所有! 粤ICP备11031372号
1999-2046 搜珍网 All Rights Reserved.