Arjan J. Mooij. Static type checking without downcast operator. Inf. Process. Lett., 178:106285, 2022. [doi]
@article{Mooij22,
title = {Static type checking without downcast operator},
author = {Arjan J. Mooij},
year = {2022},
doi = {10.1016/j.ipl.2022.106285},
url = {https://doi.org/10.1016/j.ipl.2022.106285},
researchr = {https://researchr.org/publication/Mooij22},
cites = {0},
citedby = {0},
journal = {Inf. Process. Lett.},
volume = {178},
pages = {106285},
}