Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala

Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
复制标题

Effect:Scala 中类型和效果安全、可扩展效果处理程序的功能传递样式

DOI:
10.1017/s0956796820000027
复制
发表时间:
2020
影响因子:
1.1
通讯作者:
Klaus Ostermann
Klaus Ostermann
中科院分区:
计算机科学2区
文献类型:
--
作者:
Jonathan Immanuel Brachthäuser;Philipp Schuster;Klaus Ostermann

文献摘要

参考文献

被引文献

相似文献

控制分隔符及其层次结构
DOI: 10.1007/bf01806126
发表时间: 1990
期刊: LISP and Symbolic Computation
影响因子: --
作者:
Dorai Sitaram;M. Felleisen
通讯作者: M. Felleisen
类机器学习语言中异常和控制的概括
DOI: 10.1145/224164.224173
发表时间: 1995
期刊: Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
影响因子: --
作者:
Carl A. Gunter;Didier Rémy;J. Riecke
通讯作者: J. Riecke
效果处理程序和分隔控制的类型等效
DOI: 10.4230/lipics.fscd.2019.30
发表时间: 2019
期刊: Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
影响因子: --
作者:
Maciej Piróg;Piotr Polesiuk;Filip Sieczkowski
通讯作者: Filip Sieczkowski
DOI: 10.1145/91556.91622
发表时间: 1990
期刊: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子: --
作者:
O. Danvy;Andrzej Filinski
通讯作者: Andrzej Filinski
处理程序在行动
DOI: 10.1145/2500365.2500590
发表时间: 2013
期刊: --
影响因子: --
作者:
Kammar O
通讯作者: Kammar O