Merge #75

75: Add Rouvoet et al. 2020 paper. r=vext01 a=ltratt



Co-authored-by: Laurence Tratt <[email protected]>

Author: bors[bot]

softdev.bib

@@ -2688,3 +2688,13 @@ @misc{cai21lbo
     month = Dec,
     url = "https://arxiv.org/abs/2112.07880"
 }
+
+@article{rouvoet20knowing,
+    author = "Rouvoet, Arjen and van Antwerpen, Hendrik and Bach Poulsen, Casper and Krebbers, Robbert and Visser, Eelco",
+    title = "Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications",
+    year = 2020,
+    month = Nov,
+    booktitle = "OOPSLA",
+    url = {https://doi.org/10.1145/3428248},
+    doi = {10.1145/3428248},
+}