diff --git a/quox.bib b/quox.bib
index 6951370..c2e172d 100644
--- a/quox.bib
+++ b/quox.bib
@@ -17,6 +17,18 @@
   doi       = {10.1007/978-3-030-72019-3\_17}
 }
 
+@article{granule,
+  author  = {Dominic Orchard and Vilem{-}Benjamin Liepelt and Harley Eades III},
+  title   = {Quantitative program reasoning with graded modal types},
+  journal = {Proceedings of the ACM on Programming Languages},
+  volume  = {3},
+  number  = {{ICFP}},
+  pages   = {110:1--110:30},
+  year    = {2019},
+  url     = {https://doi.org/10.1145/3341714},
+  doi     = {10.1145/3341714},
+}
+
 @inproceedings{nuttin,
   author    = {Conor McBride},
   editor    = {Sam Lindley and
@@ -366,3 +378,15 @@
   url       = {https://www.cs.bham.ac.uk/~pbl/papers/hosc05.pdf},
   doi       = {10.1007/s10990-006-0480-6},
 }
+
+@article{defunc,
+  author  = {Yulong Huang and Jeremy Yallop},
+  title   = {Defunctionalization with Dependent Types},
+  journal = {Proceedings of the ACM on Programming Languages},
+  volume  = {7},
+  number  = {{PLDI}},
+  pages   = {516--538},
+  year    = {2023},
+  url     = {https://doi.org/10.1145/3591241},
+  doi     = {10.1145/3591241},
+}