首页> 外文OA文献 >A Syntactic Type System for Recursive Modules

【2h】

A Syntactic Type System for Recursive Modules

机译：递归模的句法型系统

页面导航

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

著录项

作者
Hyeonseung Im; Keiko Nakata; Jacques Garrigue; Sungwoo Park;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A syntactic type system for recursive modules [J] . Hyeonseung Im, Keiko Nakata, Jacques Garrigue, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2011,第10期

机译：递归模块的句法类型系统
2. A type system for recursive modules [J] . Derek Dreyer ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2007,第9期

机译：用于递归模块的类型系统
3. RECURSIVENESS OF ZERO STRUCTURES FOR SYSTEM MATRICES OF INTERCONNECTED LINEAR SYSTEMS VIA MODULE THEORETIC TOOLS [J] . M. De la Sen 分析论及其应用：英文版 . 1997,第003期

机译：模块理论工具的互联线性系统系统矩阵reS归还零结构
4. A Syntactic Type System for Recursive Modules [C] . Hyeonseung Im, Keiko Nakata, Jacques Garrigue, 2011 ACM international conference on object oriented programming, systems, languages and applications . 2011

机译：递归模块的句法类型系统
5. Ranking and Scoring the Critical Cell Types in Neurodevelopmental Disorders Using Genetic Modules [D] . Thomas, Ashleigh Catherine. 2021

机译：使用遗传模块排名和评分神经发育障碍中的临界细胞类型
6. Recursive Motif Analyses Identify Brain Epigenetic Transcription Regulatory Modules [O] . Sharmi Banerjee, Xiaoran Wei, Hehuang Xie 2019

机译：递归母题分析可识别大脑表观遗传转录调控模块
7. A syntactic type system for recursive modules [O] . Hyeonseung Im, Keiko Nakata, Jacques Garrigue, 2011

机译：递归模块的句法类型系统
8. Toward a Practical Type Theory for Recursive Modules [R] . Dreyer, D. R. , Harper, R. , Crary, K. 2001

机译：走向递归模的实用型理论

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号