@software{nicolewj_2023_7617610, author = {nicolewj}, title = {{YeWenjia/Pragmatic-Gradual-Polymorphism-with- References: Pragmatic Gradual Polymorphism with References}}, month = feb, year = 2023, publisher = {Zenodo}, version = {v1.0}, doi = {10.5281/zenodo.7617610}, url = {https://doi.org/10.5281/zenodo.7617610} }