首页> 外文OA文献 >Type Checking Higher-Order Polymorphic Multi-Methods

【2h】

Type Checking Higher-Order Polymorphic Multi-Methods

机译：类型检查高阶多态多方法

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
François Bourdoncle; Stephan Merz;
展开▼
作者单位

展开▼
年度 1997
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Type Checking and Inference for Polymorphic and Existential Types in Multiple-Quantifier and Type-Free Systems [J] . Koji Nakazawa, Makoto Tatsutay. Chicago Journal of Theoretical Computer Science . 2010,第2期

机译：多量和无类型系统中多态和现有类型的类型检查和推断
2. A Type-Directed Abstraction Refinement Approach to Higher-Order Model Checking [J] . Steven J. Ramsay, Robin P. Neatherway, C.-H. Luke Ong ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2014,第1期

机译：基于类型的抽象提炼方法用于高阶模型检查
3. A Type-Directed Abstraction Refinement Approach to Higher-Order Model Checking [J] . Steven J. Ramsay, Robin P. Neatherway, C.-H. Luke Ong ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2014,第1期

机译：基于类型的抽象提炼方法用于高阶模型检查
4. Type Checking Higher-Order Polymorphic Multi-Methods [C] . Francois Bourdoncle, Stephan Merz The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97) . 1997

机译：类型检查高阶多态多方法
5. Verified Proof Checking for Higher-Order Logic [D] . Abrahamsson, Oskar. 2020

机译：验证证明检查高阶逻辑
6. Chlamydia trachomatis Polymorphic Membrane Protein D Is an Oligomeric Autotransporter with a Higher-Order Structure [O] . Kena A. Swanson, Lacey D. Taylor, Shaun D. Frank, 2009

机译：沙眼衣原体多态性膜蛋白D是具有高阶结构的寡聚自转运蛋白。
7. Type Checking and Modules for Multi-Methods [O] . Chambers, Craig, Leavens, Gary T. 1995

机译：多种方法的类型检查和模块
8. Incremental Polymorphic Type Checking in B [R] . Meertens, L. G. L. T. 1982

机译：B中的增量多态类型检查

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号