diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index 5fdf477..f8e8005 100644 --- a/bibs/myrefs.bib +++ b/bibs/myrefs.bib @@ -107,6 +107,10 @@ journal = pacmpl, volume = {6}, number = {OOPSLA}, + url = {https://arxiv.org/abs/2209.08046}, + eprint = {2209.08046}, + archivePrefix = {arXiv}, + primaryClass = {cs.PL}, reviewed = yes, jh = yes, jhsite = yes,