论文部分内容阅读
本文阐明ML核心语言中的类型(缩写)、数据类型及抽象类型三者的同式多型(polymorphism)所赖以作依据的理论和实现问题。
ML語言的数据类型和抽象类型的同式多型
【摘 要】
：
本文阐明ML核心语言中的类型(缩写)、数据类型及抽象类型三者的同式多型(polymorphism)所赖以作依据的理论和实现问题。
【机 构】
：
电子科技大学计算机系
【出 处】
：
电子科技大学学报
【发表日期】
：
1989年1期
其他文献
第一次计算出了宽平稳过程在三角变换和斜变换这样一些新正交变换下的能量密度效率。
该文结合笔者驻场工作的一些经历，针对设计人员的不合理设计以及设计产品在使用过程中存在的安全隐患，谈水泥厂结构设计工作的改进问题。
本文提出了一种用旋转柱形三反射镜准光腔作为自由电子激光放大实验系统的毫米波信号能量注入器主体的注入装置。理论和实验研究表明,该注入器具有模式单一、注入效率高(49.3
主研人员:姚伯威杨明元孟礼廷刘福元刘泰丽 KW-1型水泥回转窑微机监控系统能对φ2.5m×45m水泥同转窑的窑头高温及窑尾温度进行检测;对窑体转速、生料输入量和煤粉喷入量
期刊
为了给桅杆结构的健康监测研究提供一个较为准确的有限元基准模型，采用规划优化算法作为桅杆结构模型修正的基本工具，同时将优化算法与大型有限元分析软件相结合，首先，利用ANSYS
提出了广义 Fuzzy 集合与 Fuzzy 属性文法的概念,并给出了 Fuzzy 属性文法的分解定理与表现定理,从两个不同的角度阐明了 Fuzzy 属性文法与普通文法以及它们的代数结构之间的
研究了自由空间下平的面板状天线,用矩量法求解了这种二维天线的电流分布及其输入阻抗,进行了大量的数值计算,把计算二维积分的运算从 N×N 元减少到 N 元,从而缩短了运
利用声学非均匀平面波在两种各向同性的均匀介质分界面上的折射定律,论证和提出了在理想液体内产生非均匀平面波的方案,并用实验进行了验证。
该文叙述了对传统电熔法氧化锆生产工艺的创新改进，新工艺大幅度提高了产品质量，降低了生产成本，且节能环保，适宜于大规模产业化生产。
法律和道德是两种不同的规范性命令，过度曝光的案件成为公案后，掺杂了大量的道德评价，影响了法律运作过程的独立性。解决道德无限扩大的影响法律运作的立法、司法等环节，要从立法