Andong Fan, Lionel Parreaux. super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion (Artifact). DARTS, 9(2), 2023. [doi]
@article{FanP23,
title = {super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion (Artifact)},
author = {Andong Fan and Lionel Parreaux},
year = {2023},
doi = {10.4230/DARTS.9.2.22},
url = {https://doi.org/10.4230/DARTS.9.2.22},
researchr = {https://researchr.org/publication/FanP23},
cites = {0},
citedby = {0},
journal = {DARTS},
volume = {9},
number = {2},
}