Static type checking without downcast operator

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},
}