【摘 要】
：
该文就是尝试构建一个带继承的类型做出解释.该文的研究是在ω′λx, 并且用范畴论中的一个非常有用的模型-PER模型来对它做出解释.该文的研究是在RoY.L.Crole给出的ω′λx
论文部分内容阅读
该文就是尝试构建一个带继承的类型做出解释.该文的研究是在ω′λx, 并且用范畴论中的一个非常有用的模型-PER模型来对它做出解释.该文的研究是在RoY.L.Crole给出的ω′λx系统的基础上展开的,与Systen F的各种扩展不同,ω′λx将上下文区分为算子上下文、项上下文和子类型上下文,从而进一步给出各种构造规则和类型化规则.全文共分为五个部分:第一章,序言部分,对该篇文章的思想起源以及研究背景做一介绍;第二章,介绍作为文章基础的一些范畴论概念;第三章,介绍一下高阶多态函数类型系统ω′λx; 第五章,结束语,对文章进行总结,并指出将来的工作.
其他文献
虚拟现实(Virtual Realiry,简称VR)是近年来十分活跃的技术研究领域.传统上, 一个虚拟环境是由各类3D几何体合成的.在虚拟环境中的漫游是通过实时绘制3D几何体实 现的.这种
地震勘探中的面波法是基于面波的频散特性的,该文讨论了面波法勘探的理论原理、面波数据的解释算法的基础上,利用面向对象的方法对系统进行了分析,得到相应的抽象数据类型的
镜头边界检测技术,在视频处理领域中一直以来都占据显著而又重要的地位,从诞生至今受到广大科研工作者的关注。边界检测,用于定位视频数据中的画面发生变换的位置,有切变和渐
该文提出了"计算向数据靠拢"的思想,动态地将一个分布式应用中的各个办公活动迁移到关键数据所在的站点运行,以减少网上的数据传输量和实现并行计算.论文探讨了分布式应用开
论文以项目管理的过程和职能要素为线索,对计算机软件的项目管理进行了总结和研究.首先对软件项目管理的概念、软件项目计划、项目组织实施和软件配置管理进行了系统总结.然
Web 服务器能够灵活地提供各种格式的、内容丰富的信息，能够优化信息 的管理。另外 Web 服务的客户端可以运行在任何的操作系统平台之上，突破 平台桎梏。所以Web
该文在分析对比客户机/服务器计算模式垢应用特点的基础之上,结合Agent思想内涵,提出一种基于对等计算模式的实现全域协同检索服务应用的分布式虚拟协同检索设计构想.为了克
这篇论文提出了一种结合多媒体远程监视系统的特点进一步去除图像数据冗余的方法,在用于电厂的多媒体远程监视系统中,场景大部分时间以静态为主,当有事故发生时,场景才会发生
探地雷达技术是近年来发展起来的高精度地球物理探测技术,但雷达数据的处理解释是当前应用中的薄弱环节.该文在讨论雷达数据解释的基本原理、工作方法和科学计算可视化的数据