首页> 外文OA文献 >Collected Size Semantics for Functional Programs over Polymorphic Nested Lists

【2h】

Collected Size Semantics for Functional Programs over Polymorphic Nested Lists

机译：多态嵌套列表上功能程序的已收集大小语义

页面导航

著录项
相似文献
相关主题

著录项

作者
Shkaravska Olha; Eekelen Marko van; Tamalet Alejandro;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Game Semantics for a Polymorphic Programming Language [J] . J. LAIRD Journal of the Association for Computing Machinery . 2013,第4期

机译：多态编程语言的游戏语义
2. Semantic theories of programs with nested interrupts [J] . Yanhong HUANG, Jifeng HE, Huibiao ZHU, Frontiers of computer science in China . 2015,第3期

机译：具有嵌套中断的程序的语义理论
3. The non-additive effects of body size on nest architecture in a polymorphic ant [J] . Kwapich Christina L., Valentini Gabriele, Hoelldobler Bert Philosophical Transactions of the Royal Society of London, Series B. Biological Sciences . 2018,第1753期

机译：体积对多晶型蚂蚁巢架构的非添加效应
4. Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists [C] . Olha Shkaravska, Marko van Eekelen, Alejandro Tamalet International Workshop on Termination . 2014

机译：普通多态性列表中严格功能计划的收集大小语义
5. A FULLY LAZY HIGHER ORDER PURELY FUNCTIONAL PROGRAMMING LANGUAGE WITH REDUCTION SEMANTICS. [D] . GREENE, KEVIN JOHN. 1985

机译：具有减少语义的完全懒散的高阶纯函数编程语言。
6. The non-additive effects of body size on nest architecture in a polymorphic ant [O] . Christina L. Kwapich, Gabriele Valentini, Bert Hölldobler 2018

机译：体大小对多态蚂蚁巢结构的非累加影响
7. Collected Size Semantics for Functional Programs over Polymorphic Nested Lists [O] . Shkaravska Olha, Eekelen Marko van, Tamalet Alejandro 2009

机译：多态嵌套列表上功能程序的已收集大小语义
8. Behavioural Semantics of Parallel Functional Programming Languages [R] . Fijma, D. 1992

机译：并行函数式编程语言的行为语义

Collected Size Semantics for Functional Programs over Polymorphic Nested Lists

著录项

相似文献

相关主题

期刊订阅