Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
CONVENT, LUKAS
LINDLEY, SAM
MCBRIDE, CONOR
and
MCLAUGHLIN, CRAIG
2020.
Doo bee doo bee doo.
Journal of Functional Programming,
Vol. 30,
Issue. ,
HILLERSTRÖM, DANIEL
LINDLEY, SAM
and
ATKEY, ROBERT
2020.
Effect handlers via generalised continuations.
Journal of Functional Programming,
Vol. 30,
Issue. ,
Zhang, Yizhou
Salvaneschi, Guido
and
Myers, Andrew C.
2020.
Handling bidirectional control flow.
Proceedings of the ACM on Programming Languages,
Vol. 4,
Issue. OOPSLA,
p.
1.
Schuster, Philipp
Brachthäuser, Jonathan Immanuel
and
Ostermann, Klaus
2020.
Compiling effect handlers in capability-passing style.
Proceedings of the ACM on Programming Languages,
Vol. 4,
Issue. ICFP,
p.
1.
Brachthäuser, Jonathan Immanuel
Schuster, Philipp
and
Ostermann, Klaus
2020.
Effects as capabilities: effect handlers and lightweight effect polymorphism.
Proceedings of the ACM on Programming Languages,
Vol. 4,
Issue. OOPSLA,
p.
1.
Xie, Ningning
and
Leijen, Daan
2021.
Generalized evidence passing for effect handlers: efficient compilation of effect handlers to C.
Proceedings of the ACM on Programming Languages,
Vol. 5,
Issue. ICFP,
p.
1.
Yang, Zhixuan
and
Wu, Nicolas
2021.
Reasoning about effect interaction by fusion.
Proceedings of the ACM on Programming Languages,
Vol. 5,
Issue. ICFP,
p.
1.
Bao, Yuyan
Wei, Guannan
Bračevac, Oliver
Jiang, Yuxuan
He, Qiyang
and
Rompf, Tiark
2021.
Reachability types: tracking aliasing and separation in higher-order functional programs.
Proceedings of the ACM on Programming Languages,
Vol. 5,
Issue. OOPSLA,
p.
1.
Melicher, Darya
Xu, Anlun
Zhao, Valerie
Potanin, Alex
and
Aldrich, Jonathan
2022.
Bounded Abstract Effects.
ACM Transactions on Programming Languages and Systems,
Vol. 44,
Issue. 1,
p.
1.
Shevchenko, Ruslan
2022.
Trends in Functional Programming.
Vol. 13401,
Issue. ,
p.
1.
Ghica, Dan
Lindley, Sam
Bravo, Marcos Maroñas
and
Piróg, Maciej
2022.
High-level effect handlers in C++.
Proceedings of the ACM on Programming Languages,
Vol. 6,
Issue. OOPSLA2,
p.
1639.
Song, Yahui
Foo, Darius
and
Chin, Wei-Ngan
2022.
Programming Languages and Systems.
Vol. 13658,
Issue. ,
p.
88.
Brachthäuser, Jonathan Immanuel
Schuster, Philipp
Lee, Edward
and
Boruch-Gruszecki, Aleksander
2022.
Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back.
Proceedings of the ACM on Programming Languages,
Vol. 6,
Issue. OOPSLA1,
p.
1.
Schuster, Philipp
Brachthäuser, Jonathan Immanuel
Müller, Marius
and
Ostermann, Klaus
2022.
A typed continuation-passing translation for lexical effect handlers.
p.
566.
Brachthäuser, Jonathan Immanuel
2022.
Ernst Denert Award for Software Engineering 2020.
p.
15.
Madsen, Magnus
van de Pol, Jaco
and
Henriksen, Troels
2023.
Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems.
Proceedings of the ACM on Programming Languages,
Vol. 7,
Issue. OOPSLA2,
p.
516.
New, Max S.
Giovannini, Eric
and
Licata, Daniel R.
2023.
Gradual Typing for Effect Handlers.
Proceedings of the ACM on Programming Languages,
Vol. 7,
Issue. OOPSLA2,
p.
1758.
Boruch-Gruszecki, Aleksander
Odersky, Martin
Lee, Edward
Lhoták, Ondřej
and
Brachthäuser, Jonathan
2023.
Capturing Types.
ACM Transactions on Programming Languages and Systems,
Vol. 45,
Issue. 4,
p.
1.
de Vilhena, Paulo Emílio
and
Pottier, François
2023.
Programming Languages and Systems.
Vol. 13990,
Issue. ,
p.
225.
HILLERSTRÖM, DANIEL
LINDLEY, SAM
and
LONGLEY, JOHN
2024.
Asymptotic speedup via effect handlers.
Journal of Functional Programming,
Vol. 34,
Issue. ,
Discussions
No Discussions have been published for this article.