首页> 外文OA文献 >Relational parametricity for references and recursive types

【2h】

Relational parametricity for references and recursive types

机译：引用和递归类型的关系参数

页面导航

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

著录项

作者
Lars Birkedal; Kristian Støvring; Jacob Thamsborg;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Realiability semantics of parametric polymorphism,general references and recursive types [J] . LARS BIRKEDAL, KRISTIAN STOVRING, JACOB THAMSBORG Mathematical structures in computer science . 2010,第4期

机译：参数多态性，一般引用和递归类型的可靠性语义
2. Relational Interpretations of Recursive Types in an Operational Setting [J] . Lars Birkedal, Robert Harper Information and Computation . 1999,第1a2期

机译：操作环境中递归类型的关系解释
3. A Relationally Parametric Model of Dependent Type Theory [J] . Robert Atkey, Neil Ghani, Patricia Johann ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2014,第1期

机译：相关类型理论的关系参数模型
4. Relational parametricity for references and recursive types [C] . Lars Birkedal, Kristian Stovring, Jacob Thamsborg Proceedings of the 4th international workshop on Types in language design and implementation . 2009

机译：引用和递归类型的关系参数
5. Parametric Multi-Way Recursive Divide-and-Conquer Algorithms for Dynamic Programs [D] . Javanmard, Mohammad Mahdi. 2020

机译：动态程序的参数多向递归划分和征管算法
6. Establishment of Biological Reference Intervals and Reference Curve for Urea by Exploratory Parametric and Non-Parametric Quantile Regression Models [O] . Rajarshi Sarkar 2013

机译：探索性参数和非参数分位数回归模型建立尿素生物参考区间和参考曲线
7. Realizability semantics of parametric polymorphism, general references, and recursive types [O] . Lars Birkedal, Kristian Støvring, Jacob Thamsborg 2010

机译：参数多态，一般引用和递归类型的可实现语义
8. Relational Interpretations of Recursive Types in an Operational Setting [R] . Birkedal, L., Harper, R. 1998

机译：运算环境中递归类型的关系解释

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号