%0 Journal Article %1 journals/jacm/LabradaTT22 %A Labrada, Elizabeth %A Toro, Matías %A Tanter, Éric %D 2022 %J J. ACM %K dblp %N 5 %P 38:1-38:78 %T Gradual System F. %U http://dblp.uni-trier.de/db/journals/jacm/jacm69.html#LabradaTT22 %V 69

@article{journals/jacm/LabradaTT22, added-at = {2023-11-12T00:00:00.000+0100}, author = {Labrada, Elizabeth and Toro, Matías and Tanter, Éric}, biburl = {https://www.bibsonomy.org/bibtex/2abfa82aaf3d1a06925c247b9a38e0c81/dblp}, ee = {https://doi.org/10.1145/3555986}, interhash = {9a7c64fa0fb0dde5cc53c6c2031e6f4d}, intrahash = {abfa82aaf3d1a06925c247b9a38e0c81}, journal = {J. ACM}, keywords = {dblp}, number = 5, pages = {38:1-38:78}, timestamp = {2024-04-08T20:02:03.000+0200}, title = {Gradual System F.}, url = {http://dblp.uni-trier.de/db/journals/jacm/jacm69.html#LabradaTT22}, volume = 69, year = 2022 }