Luca Aceto, Daniele Gorla, Stian Lybech. A Sound Type System for Secure Currency Flow. ACM Transactions on Programming Languages and Systems, 48(1), March 2026. [doi]
@article{AcetoGL26,
title = {A Sound Type System for Secure Currency Flow},
author = {Luca Aceto and Daniele Gorla and Stian Lybech},
year = {2026},
month = {March},
doi = {10.1145/3786766},
url = {https://doi.org/10.1145/3786766},
researchr = {https://researchr.org/publication/AcetoGL26},
cites = {0},
citedby = {0},
journal = {ACM Transactions on Programming Languages and Systems},
volume = {48},
number = {1},
}