Compiling Effectful Terms to Transducers Prototype Implementation of Memoryful Geometry of Interaction
Compiling Effectful Terms to Transducers Prototype Implementation of Memoryful Geometry of Interaction
复制标题
为传感器编写有效的术语 记忆交互几何的原型实现
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Toshiki Kataoka
中科院分区：
文献类型：
--
作者：
Koko Muroya;Naohiko Hoshino;I. Hasuo;Toshiki Kataoka
在Lola 2014的这一初步报告中，我们提出了[Hoshino，Muroya和Hasuo，CSL-LICS 2014]中记忆的GOI框架的原型实现，该框架将lambda术语转化为具有代数效应的lambda术语。具有记忆力的网络”，并通过colgebraic成分的核石以组成方式构建。帮助我们仔细检查在高阶有效计算中进行的分步相互作用。
In this preliminary report for LOLA 2014, we present a prototype implementation of the memoryful GoI framework in [Hoshino, Muroya and Hasuo, CSL-LICS 2014] that translates lambda terms with algebraic effects to transducers. Those transducers can be thought of as “proof nets with memories” and are constructed in a compositional manner by means of coalgebraic component calculi. The transducers thus obtained can be simulated in our tool, too, helping us to scrutinize the step-by-step interactions that take place in higher-order effectful computation.
DOI：
--
发表时间：
--
期刊：
In proceeding of LiCS 2011
影响因子：
--
作者：
Hasuo Ichiro;Naohiko Hoshino
通讯作者：
Naohiko Hoshino
交互的记忆几何：从代数分量到代数效应
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
Naohiko Hoshino;Koko Muroya;Ichiro Hasuo
通讯作者：
Ichiro Hasuo