首页> 外文OA文献 >Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing

【2h】

Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing

机译：具有较高阶值传递的功能/并发语言的完全抽象性

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

著录项

作者
Hartonas Chrysafis; Hennessy Matthew;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Typing termination in a higher-order concurrent imperative language [J] . Gerard Boudol Information and computation . 2010,第6期

机译：以高阶并发命令式语言键入终止
2. Hobbits for Haskell: a library for higher-order encodings in functional programming languages [J] . Westbrook Edwin, Frisby Nicolas, Brauner Paul ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2011,第12期

机译：Hobbits for Haskell：函数式编程语言中的高阶编码的库
3. Higher-order functional languages and intensional logic [J] . P RONDOGIANNIS Journal of Functional Programming . 1999,第期

机译：高阶功能语言和内涵逻辑
4. Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing (Extended Abstract) [C] . Chrysafis Hartonas, Matthew Hennessy International workshop on computer science logic . 1998

机译：具有高阶值传递的功能/并发语言的完整抽象性（扩展摘要）
5. A Higher-Order Abstract Syntax Approach to the Verified Compilation of Functional Programs. [D] . Wang, Yuting. 2016

机译：经验证的功能程序编译的高阶抽象语法方法。
6. Language is more abstract than you think or why arent languages more iconic? [O] . Gary Lupyan, Bodo Winter 2018

机译：语言比您想象的要抽象或者为什么语言不更具标志性？
7. Towards Verified Lazy Implementation of Concurrent Value-Passing Languages (Abstract) [O] . Ingólfsdóttir Anna, Pugliese Rosario 1999

机译：面向并发值传递语言的经过验证的惰性实现（摘要）

Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing

著录项

引文网络

相似文献

相关主题

期刊订阅