A polymorphic RPC calculus

机译：多态性RPC微积分

代理获取

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

页面导航

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

著录项

作者
Kwanghoon Choi; James Cheney; Simon Fowler; Sam Lindley;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A polymorphic RPC calculus [J] . Kwanghoon Choi, James Cheney, Simon Fowler, Science of Computer Programming . 2020,第Octa1期

机译：多态性RPC微积分
2. Big-step and Small-Step Semantics of the Call-by-Name RPC Calculus [J] . Keishi Watanabe, Shin-ya Nishizaki Journal of Computers . 2017,第7期

机译：按名称调用RPC演算的大步和小步语义
3. Big-step and Small-Step Semantics of the Call-by-Name RPC Calculus [J] . Keishi Watanabe, Shin-ya Nishizaki Journal of software . 2017,第7期

机译：按名称调用RPC演算的大步和小步语义
4. Certifying CPS Transformation of Let-Polymorphic Calculus Using PHOAS [C] . Urara Yamada, Kenichi Asai Asian symposium on programming languages and systems . 2018

机译：使用PHOAS验证多态演算的CPS转换
5. Homer binds TRPC family channels and is required for gating of TRPC1 by IP3 receptors. [D] . Yuan, Joseph P. 2003

机译：荷马结合了TRPC家族通道，是IP3受体对TRPC1进行门控所必需的。
6. Goat K222-PrPC polymorphic variant does not provide resistance to atypical scrapie in transgenic mice [O] . Patricia Aguilar-Calvo, Juan-Carlos Espinosa, Olivier Andréoletti, 2016

机译：山羊K222-PrPC多态性变体对转基因小鼠的非典型瘙痒病没有抵抗力
7. Goat K222-PrPC polymorphic variant does not provide resistance to atypical scrapie in transgenic mice [O] . Aguilar-Calvo, Patricia, Espinosa, Juan-Carlos, Andréoletti, Olivier, 2016

机译：山羊K222-PrPC多态性变体对转基因小鼠的非典型瘙痒病没有抵抗力

A polymorphic RPC calculus

著录项

引文网络

相似文献

相关主题

期刊订阅