Update bibs.

2022-04-12 21:21:03 -04:00
parent 35bc140506
commit b174de7984
2 changed files with 34 additions and 0 deletions
@@ -130,6 +130,11 @@
            Hsu, Justin},
  booktitle     = pldi22,
  year   = 2022,
+  url    = {https://arxiv.org/abs/2204.03113},
+  doi    = {10.1145/3519939.3523717},
+  eprint = {2204.03113},
+  archivePrefix = {arXiv},
+  primaryClass  = {cs.PL},
  jh     = yes,
  jhsite = yes,
  reviewed  = yes,