Publications

BibTex format

@inproceedings{Punchihewa:2021:10.1145/3471874.3472988,
author = {Punchihewa, H and Wu, N},
doi = {10.1145/3471874.3472988},
pages = {122--135},
publisher = {ACM},
title = {Safe mutation with algebraic effects},
url = {http://dx.doi.org/10.1145/3471874.3472988},
year = {2021}
}

Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - It can be difficult to write safe concurrent programs whichuse shared mutable state. Subtle mistakes can lead to dataraces that manifest as unexpected program behaviour. Theprevailing approaches to solving this dilemma are to either eschew mutable state altogether, or design bespokelanguages that prevent data races by design. This article introduces a third approach by showing how safe mutation canbe integrated into a mainstream functional programminglanguage with algebraic effects. This article produces a framework that tracks the use of mutable state and guaranteesdata race freedom at compile time
AU  - Punchihewa,H
AU  - Wu,N
DO  - 10.1145/3471874.3472988
EP  - 135
PB  - ACM
PY  - 2021///
SP  - 122
TI  - Safe mutation with algebraic effects
UR  - http://dx.doi.org/10.1145/3471874.3472988
UR  - http://hdl.handle.net/10044/1/90647
ER  -

Download

DrNicolasWu

Contact

Location

Summary

Citation

BibTex format

RIS format (EndNote, RefMan)