@INPROCEEDINGS {41019,
author={A. Matos and A.R. Ravara and H. P. Paulino and J.C. Cederquist and J. R. Matos and M.  Giunti},
doi={},
booktitle={Interaction and Concurrency Experience ICE},
title={Type qualifier inference and code synthesis},
year={2023},
month={June},
volume={},
pages={-} 
}