logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回

Hyperfunctions: Communicating Continuations

delete2026-01-01
delete0
PRE
AI
D
Donnacha Oisín Kidney *
N
Nicolas Wu
DOI：10.1145/3776649delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
超函数是一种类似于续延（continuation）的构造，可用于并发语境中的通信实现。尽管它已被多次重新发现，但仍不为人所熟知：自Launchbury等人对其定义以来，超函数已被用于实现某些代数效应处理器、协程和广度优先遍历；然而，在这些示例中，超函数类型未被识别。我们识别了这些算法中隐藏的超函数，并阐明了它们之间的共同模式，构建了一个用于操作和推理超函数的框架。我们使用此框架解决一个长期存在的问题：为并发演算（即通信系统演算）提供一个完全抽象的续延基语义。最后，我们使用超函数构建一个面向Haskell的Monad库，用于高效的一等协程。
Keyword:
Continuations
Concurrency
CPS
CCS
Hyperfunctions
Coroutines

期刊

P
Proceedings of the ACM on Programming Languages-PACMPL
IF:
2.8
论文数:
308
被引数:
4.7K

机构

I
imperial college london
学者数:
9.9K
论文数: 4.4K
被引数: 0
引用论文

引用论文

A short cut to deforestation
errProceedings of the conference on Functional programming languages and computer architecture
IF0
err1993-07-01
err0
errOAAI
errAndrew Gill; John Launchbury; Simon L. Peyton Jones
err分享
err收藏
CCS, the Calculus of Communicating Systems
errTexts in Theoretical Computer Science. An EATCS Series
IF0
err2017-01-01
err0
PREAI
errBruni,Roberto; Montanari,Ugo
err分享
err收藏
Circular programs and self‐referential structures
errSoftware: Practice and Experience
IF0
err1989-02-01
err0
PREAI
errAllison,Lloyd
err分享
err收藏
The importance of the left merge operator in process algebras
errLecture Notes in Computer Science
IF0
err
err0
PREAI
errMoller,Faron
err分享
err收藏
Formalizing CCS and π-calculus in Guarded Cubical Agda
errJournal of Logical and Algebraic Methods in Programming
IF0
err2023-02-01
err0
PREAI
errVeltri,Niccolò; Vezzosi,Andrea
err分享
err收藏
Copatterns
errProceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
IF0
err2013-01-23
err0
PREAI
errAbel,Andreas; Pientka,Brigitte; Thibodeau,David; Setzer,Anton
err分享
err收藏
Backtracking, interleaving, and terminating monad transformers
errProceedings of the tenth ACM SIGPLAN international conference on Functional programming
IF0
err2005-09-12
err0
PREAI
errKiselyov,Oleg; Shan,Chung-chieh; Friedman,Daniel P.; Sabry,Amr
err分享
err收藏
College Admissions and the Stability of Marriage
errThe American Mathematical Monthly
IF0
err2018-03-12
err0
PREAI
errD. Gale; L. S. Shapley
err分享
err收藏
Continuations and transducer composition
errACM SIGPLAN Notices
IF0
err2006-06-11
err0
PREAI
errShivers,Olin; Might,Matthew
err分享
err收藏
Quotient Haskell: Lightweight Quotient Types for All
errProceedings of the ACM on Programming Languages
IF0
err2024-01-02
err0
PREAI
errHewer,Brandon; Hutton,Graham
err分享
err收藏
学者 查看更多内容