Rakan Alsowail, Ian Mackie. Controlling File Access with Types. Electronic Notes in Theoretical Computer Science, 332:3-20, 2017. [doi]
@article{AlsowailM17,
title = {Controlling File Access with Types},
author = {Rakan Alsowail and Ian Mackie},
year = {2017},
doi = {10.1016/j.entcs.2017.04.002},
url = {https://doi.org/10.1016/j.entcs.2017.04.002},
researchr = {https://researchr.org/publication/AlsowailM17},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {332},
pages = {3-20},
}