The study of type systems—and of programming languages from a type- theoretic perspective—has become an energetic field with major applications in software engineering, language design, high-performance compiler imple- mentation, and security. This text offers a comprehensive introduction to the fundamental definitions, results, and techniques in the area.
2021-05-30 00:21:27 1.74MB 编程语言理论 类型系统
1
不多说,CLR Types for Microsoft SQL Server 2014,64位,支持 ReportViewer 2015。 找了好久才找到,真的来之不易,象征性收1个积分。
2021-05-25 08:39:34 2.95MB CLR Types  64 sql
1
socket.h uio.h types.h cdefs.h fcntl.h file.h locking.h param.h .utime.h.. GNU 里面的C library,,对应的头文件
2021-05-06 16:31:50 13KB socket.h uio.h types.h
1
《类型与编程语言》 学FP的同学可能需要这本书
2021-05-06 13:42:32 2MB fp haskell
1
Electric Motors and Drives Fundamentals, Types and Applications Fifth Edition Austin Hughes Bill Drury Abstract Non-specialist readers wishing to learn the essence of how and why motors work will find answers in this chapter. We discuss how to quantify magnetic effects, explain how force and torque are generated, and show that the elegant energy-converting process can be predicted using a simple equivalent circuit. The key factors that underpin the operation of all types of motor emerge, and we conclude by identifying the simple design parameters that determine the relationship between rotor volume and torque.
2021-04-24 11:18:49 54.09MB Electric Motors
1
Advanced Topics in Types and Programming Languages.pdf
2021-04-15 13:47:38 9.07MB Advanced Topics Types Programming
1
Boost.Python.ArgumentError: Python argument types in错误解决及Boost安装配置-附件资源
2021-04-03 14:56:39 106B
1
部署查看Windows SQL服务器报表的时候会用到
2021-03-31 18:04:06 1.03MB sql 服务器 clr
1
角拟态 建设与发展 润gulp建设和grunt sourcemaps与源地图的构建。 测验 尚未执行。
2021-03-30 17:07:23 92KB angularjs filter mime-types hacktoberfest
1
INE出品的SDN视频教程
2021-03-25 15:03:49 18.58MB SDN
1