复合类型相关论文
以往对程序语言的形式化验证不能与类型系统相结合，推理程序的规则依赖于确定的类型。 这篇论文将尝试抹去类型与断言的界限。本......
将大/小情节融为一体,通过类型的复合达到多重文本表达的功效,是颇具难度的创作方法.《风平浪静》对此进行了尝试.导演将犯罪、悬......
《唐人街探案3》以10.51亿元贡献了春节档首日票房近60％的收入,但辉煌开场之后却好景难再.究其原因,影片以狂欢喜剧为主,混杂推理、......
基于多组态准相对论HFR方法；计算了类铍Ti在电子温度0.008一1?keV范围内三类双电子复合速率系数，讨论了它们随电子温度及复合类型的......
科学课程旨在培养具有科学知识、科学能力、科学方法、科学意识和科学品质的科学的人。新的课程标准告诉我们：发展学生的科学素养离......
《合同法》作为统辖意思表示一致的各类财产流转关系的基本法，其涵盖面非常广，事实也证明这部法律能够比较灵活的处理各类财产流转关......
侦探小说长期被归类于"类型文学",因而在其研究过程中往往会得出体裁单一缺少创新的结论。实际上,以阿加莎·克里斯蒂为代表的优秀......
通过腰省量及下半身形态数据采集和相关特征因子提取,获得腰部形态细分及其对应腰总省量和省量配比。以华中地区97名18~25岁在校女......
西吉诺山多金属矿点位于大兴安岭呼中区白卡鲁山林场.矿床产于得尔布干断裂带的北西近侧额尔古纳隆起区内的次级火山盆地中.矿区内......
信息化是衡量一个国家和地区现代化水平和综合实力的重要标准,宽带是信息化的基础。今天的宽带接入方式正从单一的有线宽带转为有......
传统的复式家居结构一般是指在屋顶较高的住宅中，增加一个1.2m的夹层，两层的总高度约为3.3m，而通常的跃式结构一般为5.6m的空高，复式家......
以山东望儿山、焦家金矿床为例,阐述复合类型金矿床的成矿地质特征,主要是断裂构造控矿及控制蚀变,成矿的温压、成矿溶液的性质及......
复合林带将林、农、牧、副等相关产业有机地结合起来，通过不同经营模式充分地利用了空间潜能，有效地提高了生物生产能力，构成产品的多......
古往今来,公共财产普遍存在于各个国家和社会。随着现代国家的发展,私人生活与公共生活日益深入交融,公共财产之地位〈此变得日益......
