Frédéric Gava, Victor Allombert, Julien Tesson. A type system to avoid runtime errors for Multi-ML. In 21st International Symposium on Parallel and Distributed Computing, ISPDC 2022, Basel, Switzerland, July 11-13, 2022. pages 41-48, IEEE, 2022. [doi]
@inproceedings{GavaAT22,
title = {A type system to avoid runtime errors for Multi-ML},
author = {Frédéric Gava and Victor Allombert and Julien Tesson},
year = {2022},
doi = {10.1109/ISPDC55340.2022.00015},
url = {https://doi.org/10.1109/ISPDC55340.2022.00015},
researchr = {https://researchr.org/publication/GavaAT22},
cites = {0},
citedby = {0},
pages = {41-48},
booktitle = {21st International Symposium on Parallel and Distributed Computing, ISPDC 2022, Basel, Switzerland, July 11-13, 2022},
publisher = {IEEE},
isbn = {978-1-6654-8802-0},
}