首页> 外文OA文献 >Extensible Algebraic Datatypes with Defaults

【2h】

Extensible Algebraic Datatypes with Defaults

机译：具有默认值的可扩展代数数据类型

页面导航

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

著录项

作者
Matthias Zenger; Martin Odersky;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Modular Typechecking for Hierarchically Extensible Datatypes and Functions [J] . TODD MILLSTEIN, COLIN BLECKNER, CRAIG CHAMBERS ACM Transactions on Programming Languages and Systems . 2004,第5期

机译：模块化类型检查，用于分层可扩展的数据类型和功能
2. Modular Typechecking for Hierarchically Extensible Datatypes and Functions [J] . Todd Millstein, Colin Bleckner, Craig Chambers ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2002,第9期

机译：分层可扩展数据类型和函数的模块化类型检查
3. Cyclic Datatypes modulo Bisimulation based on Second-Order Algebraic Theories [J] . Hamana Makoto Logical Methods in Computer Science . 2017,第4期

机译：基于二阶代数理论的循环数据类型模双仿真
4. Extensible Algebraic Datatypes with Defaults [C] . Matthias Zenger, Martin Odersky ACM SIGPLAN international conference on functional programming . 2001

机译：具有默认值的可扩展代数数据类型
5. Bidirectional Interplay between Mathematics and Computer Science: Safety and Extensibility in Computer Algebra and Haskell [D] . 石井大海, /イシイヒロミ 2019

机译：数学与计算机科学之间的双向相互作用：计算机代数和Haskell中的安全性和可扩展性
6. HyperCAT: an extension of the SuperCAT database for global multi-scheme and multi-datatype phylogenetic analysis of the Bacillus cereus group population [O] . Nicolas J. Tourasse, Ole Andreas Økstad, Anne-Brit Kolstø 2010

机译：HyperCAT：SuperCAT数据库的扩展用于蜡状芽孢杆菌群种群的全球多方案和多数据类型系统发育分析
7. Abstract Datatype Semantics for Algebraic High-Level Nets Using Dynamic Abstract Datatypes [O] . Julia Padberg 1997

机译：使用动态抽象数据类型的代数高级网络的抽象数据类型语义

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号